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