\langle pointer; not, [\:], [\:], [1,1,1]\rangle \Rightarrow\\
\langle pointer [\:], [\:], [0,1,1]\rangle \Rightarrow\\
\langle [\:], [\:], [1,1]\rangle\\
\langle pointer; not, [\:], [\:], [1,1,1]\rangle \Rightarrow\\
\langle pointer [\:], [\:], [0,1,1]\rangle \Rightarrow\\
\langle [\:], [\:], [1,1]\rangle\\
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
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.