Expression
s
: Addition 2/4
20
/69
Q
1
T
Expression
+
Expression
Q
2
T.s
Q
1
.i
Q
2
.i
Q
2
.
s
Q
1
.
s
+
Q
1
®
+
T
{
Q
2
.
i
:=
Q
1
.i + T.s
}
Q
2
{
Q
1
.
s
:=
Q
2
.
s
}
…
…
II.