Feedback

1 files changed, 7 insertions, 5 deletions

diff --git a/rules.tex b/rules.tex
index 6600fce..b4f8fd9 100644
--- a/rules.tex
+++ b/rules.tex
@@ -8,11 +8,13 @@ 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. 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.
+genoeg argumenten op de stack staan om een bepaalde instructie uit te voeren.
+In de \emph{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.
 
 \input{ruleslambda}
 \input{rulespush}