2 Als we de analyse op een compleet programma toepassen komt er een
\textit{Piet
}
3 programma uit dat behoorlijk fors is maar netjes zijn werk doet. Dit programma
4 berekent de faculteit van $x$ en stopt dat uiteindelijk in $y$.
5 \begin{lstlisting
}[title=Faculteit in
\textit{While
}]
15 In
\textit{Piet
} ziet dit er als volgt uit...
16 \begin{lstlisting
}[title=Faculteit in
\textit{Piet'
}]
22 // $
\neg$(x=
1) $
\equiv$
\neg(x-
1)>
0)
38 push
1 // zet $
0$ op de stack
42 gre // $
\neg(x-
1)>
0$ oftewel x=
1
44 pointer // als x=
0 dan draait de DP niet en gaat het programma naar pad B
45 // als x$
\neq$ dan draait de DP en gaat het programma naar pad A
48 skip // een oneindig aantal witte blokken, y is nu x!
49 // evt een outchar om $y$ naar standardout te printen
87 // nu gaat het programma weer via een wit pad naar markering A
90 Wat in piet er uit zit als in
\ref{fig:img3
}
92 \caption{Factulteit vanuit
\textit{While
} naar
\textit{Piet
}}
95 \fbox{\includegraphics[natheight=
320px, natwidth=
256px, height=
320px,
96 width=
256px
]{img3.png
}}