summaryrefslogtreecommitdiff
path: root/rules.tex
diff options
context:
space:
mode:
authorW-M-T2016-06-04 13:53:10 +0200
committerW-M-T2016-06-04 13:53:10 +0200
commit50dba51012c6491f6c6a1dfebf24a0392f2ee552 (patch)
tree402fe6210af1fe04f169ea4dad8b3e4c82cb9543 /rules.tex
parentSome feedback processing (diff)
More feedback processing
Diffstat (limited to 'rules.tex')
-rw-r--r--rules.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/rules.tex b/rules.tex
index ce50fa5..6600fce 100644
--- a/rules.tex
+++ b/rules.tex
@@ -8,8 +8,8 @@ geldt dat als elementen van de stack worden gebruikt in die regel, de stack
niet leeg mag zijn voor het uitvoeren van de regel. %todo waarom deze keuze?
De documentatie \cite{safalra} beschrijft niet wat er gebeurt wanneer er niet
-genoeg argumenten op de stack staan om een bepaalde instructie uit te voeren.
-We kiezen ervoor om het in zulk soort gevallen onmogelijk te maken een
+genoeg argumenten op de stack staan om een bepaalde instructie uit te voeren. In de \texttt{Perl}-interpreter van de taal is ervoor gekozen om een dergelijk programma abrupt te laten termineren met een foutmelding.
+Wij kiezen er echter voor om het in zulk soort gevallen onmogelijk te maken een
afleidingsboom te maken (in tegenstelling tot bijvoorbeeld een errorstatus aan
de rechterkant van transities toe te voegen), omdat dit het redeneren over
Smurfprogramma's makkelijker zal maken.