an_faculteit.tex

   1 \subsection{Faculteit}
   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}[
   6         mathescape=true,
   7         basicstyle=\scriptsize,
   8         keepspaces=true,
   9         columns=flexible,
  10         numbers=left,
  11         numbersep=2pt,
  12         title=Faculteit in \textit{While},
  13         ]
  14 x:=5;
  15 y:=1;
  16 while $\neg$(x=1)
  17 do (
  18         y:=y*x;
  19         x:=x-1
  20 )
  21 \end{lstlisting}
  22
  23 In piet ziet dit er als volgt uit...