summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorEvi2016-05-14 15:58:35 +0200
committerEvi2016-05-14 15:58:35 +0200
commit8962431a7dce03507e3f84fb8e66a349a04fe057 (patch)
tree3431a60c8d8f981ac043d5067db5d4856eaea972 /rulesoutput.tex
parentCleanup (diff)
verwerken feedback
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r--rulesoutput.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index 96c806e..f55b374 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -22,10 +22,11 @@ $$
{\ip'}{[\op:[s:\Nil]]}{\st}
\using{\routputns}
\qquad
- \text{met $(s,\stk') = \pop{\stk}$.}
+ \text{met $\pop{\stk} = (s,\stk') $.}
\endprooftree
$$
+Waarbij [o:Nil] in de bovenste regel de gehele stack weergeeft.
Merk op dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te
staan, even geldig is. Geen van beide opties is beter dan de ander omdat we
geen aannames doen over hoe de $\Output$-stack wordt verwerkt.