\langle pointer; not, [\:], [\:], [1,1,1]\rangle \Rightarrow\\
\langle pointer [\:], [\:], [0,1,1]\rangle \Rightarrow\\
\langle [\:], [\:], [1,1]\rangle\\
-\
+\\
$
-Eerst worden x en y op de stack gepusht zodat de stack [y,x] = [1,1].
+Eerst worden x en y op de stack gestopt zodat de stack [y,x] = [1,1].
Deze stack is gelijk aan de stack in de termineerende configuratie: 1 = 1! dus y = x!.
Als bewijs dat de wiskundige operaties op de stack goed zijn uitgevoerd staat in
de appendix onder het kopje voorbeelden een stukje code. In het programma
eenfaculteit worden alle wiskundige operaties die bij de commando's horen
-achter elkaar uitgevoerd op de stack, waarbij het resultaat [1,1] is.
+achter elkaar uitgevoerd op de stack, waarbij het resultaat [1,1] is.\\
+Bij de voorbeelden staan ook nog de programma's tweefaculteit en
+vijffaculteit die respectievelijk 2! en 5! uitrekenen.
\end{landscape}
\ No newline at end of file