2. x :
k
3. y :
k
4. z :
k
5.
y = z
6.
x = y
7. x1 :
k
8. x1 = x
y
=
if if z=
y
z ; z=z y else z fi=x z
i; if z=y z ; z=z y else z fi=z x
i; z=y z
i; z=z y
else z fi
k
k
k
y = z
x = y
k
y
=
if if z=y z ; z=z y else z fi=x z
i; if z=y z ; z=z y else z fi=z x
i; z=y z
i; z=z y
else z fi| By: |
z) = true) 0 THEN Reduce 0 |
| 1 |
(z=z) = true | 1 step |
| 2 |
y
=
if if z=y z else y fi=x z
i; if z=y z else y fi=z x
i; z=y z
else y fi | 3 steps |
About:
 |  |  |  |  |  |