Evaluation of Expressions: Example 8/16
Example for a + b, where a.value = 10, b.value = 20
+
T2
{Q2.i := Q1.i + T2.s}
Q2
{Q1.s := Q2.s}
{E.s := Q1.s}
$
Parser pushdown:
Q1.i = 10
Semantic pushdown:
Input: + i2 $
Rule:
35/69
E
10
+
20
T1
Q1
F1
R1
i1
e
Illustration:
T2
Q2
+