summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorW-M-T2016-06-04 11:59:15 +0200
committerW-M-T2016-06-04 11:59:15 +0200
commita8c17733c076bf72d84535208906e493d1a21659 (patch)
treea430e55866ed6f20bb86794c79e1231a508c213c /rulesoutput.tex
parentNoot over onafheid analyse toegevoegd (diff)
Some feedback processing
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r--rulesoutput.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index c6a1f66..d4bb487 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -19,7 +19,7 @@ $$
\justifies
\trans
{\StmOutput:\pgm}{\ip}{(\stk,\str)}
- {\ip'}{[\op:[s:\Nil]]}{\st}
+ {\ip'}{\push{s}{\op}}{\st}
\using{\routputns}
\qquad
\text{met $\pop{\stk} = (s,\stk') $,}
@@ -27,7 +27,7 @@ $$
$$
waarbij $\op$ in de bovenste regel de gehele outputstack weergeeft. Merk op
-dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te staan,
+dat eenzelfde regel waar $s$ niet voor op de stack wordt gezet maar achter,
even geldig is. Geen van beide opties is beter dan de ander omdat we geen
aannames doen over hoe de $\Output$-stack wordt verwerkt.