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