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)
26 // Twee waardes ervoor gepushed dus $n=n+
2$
39 push
1 // zet $
0$ op de stack
43 gre // $
\neg(x-
1)>
0$ oftewel x=
1
45 pointer // als x=
0 dan draait de DP niet en gaat het programma naar pad B
46 // als x$
\neq$ dan draait de DP en gaat het programma naar pad A
49 skip //een oneindig aantal witte blokken, y is nu x!
78 // nu gaat het programma weer via een wit pad naar markering A