diff options
author | W-M-T | 2016-06-04 11:59:15 +0200 |
---|---|---|
committer | W-M-T | 2016-06-04 11:59:15 +0200 |
commit | a8c17733c076bf72d84535208906e493d1a21659 (patch) | |
tree | a430e55866ed6f20bb86794c79e1231a508c213c /rulesoutput.tex | |
parent | Noot over onafheid analyse toegevoegd (diff) |
Some feedback processing
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r-- | rulesoutput.tex | 4 |
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. |