Sei $\backslash$Sigma das Programm

while x $>1$ do $\{$

y :$=$ x$/2$;

if x $=2$ y then

x :$=$ y

else

x :$=3$ x $+1$

$\}$

Aufgabe $4\mathrm{.}1$

Zeigen Sie, dass das Programm $\backslash$Sigma nach Hinzufugen einiger Klammernpaare ein syntaktisch korrektes $$

SIMPLE$($Z$)-$Programm ist.

Anleitung: Geben Sie eine Parallelableitung an$.$