Vyhodnocení výrazů: Příklad 9/16
Příklad pro a + b, kde a.value = 10, b.value = 20
T2
{Q2.i := Q1.i + T2.s}
Q2
{Q1.s := Q2.s}
{E.s := Q1.s}
$
Zásobník synt. an.:
Q1.i = 10
Zásobník sém. an.:
Vstup: i2 $
Prav.: T2 ® F2 {R2.i := F2.s} R2 {T2.s := R2.s}
36/69
E
10
+
20
T1
Q1
F1
R1
i1
e
Ilustrace:
T2
Q2
+