diff options
Diffstat (limited to 'rulesexec.tex')
| -rw-r--r-- | rulesexec.tex | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/rulesexec.tex b/rulesexec.tex index bebf0e9..9f4a60a 100644 --- a/rulesexec.tex +++ b/rulesexec.tex @@ -8,10 +8,11 @@ \end{quote} We halen een string van de stack en gebruiken $\parsepgmop$ om dit in een -programma om te zetten. Waarbij we $\parsepgmop$ later in de beschrijving zullen definiëren. Dit wordt het nieuwe programma om uitgevoerd te worden. -Als de $\stk$ leeg is is deze regel niet toepasbaar, omdat $\pop\stk$ dan niet -gedefinieerd is. Ook is deze regel niet toepasbaar als de gepopte string zelf -geen geldig Smurf-programma is, omdat $\parsepgmop$ dan niet gedefinieerd is. +programma om te zetten. Hieronder zullen we $\parsepgmop$ definiëren. Dit wordt +het nieuwe programma om uitgevoerd te worden. Als de $\stk$ leeg is is deze +regel niet toepasbaar, omdat $\pop\stk$ dan niet gedefinieerd is. Ook is deze +regel niet toepasbaar als de gepopte string zelf geen geldig Smurf-programma +is, omdat $\parsepgmop$ dan niet gedefinieerd is. $$ \begin{prooftree} |