summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-12 16:27:22 +0200
committerCamil Staps2016-06-12 16:27:22 +0200
commit1faf953f857704cd2ac0acb98d99a7a99e37ba5e (patch)
tree93ffaccde9c3734c6f3b02fc1acc51c43d5101d7 /rulesoutput.tex
parentTurned explanation into list (diff)
Appendix met regels
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r--rulesoutput.tex17
1 files changed, 1 insertions, 16 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index d4bb487..257be28 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -10,24 +10,9 @@ We houden gedurende het hele programma een stack van strings, genaamd $\Output$
bij waar het programma zijn output naar wegschrijft.
Dit geeft de volgende regel:
-
-$$
-\prooftree
- \trans
- {\pgm}{\ip}{(\stk',\str)}
- {\ip'}{\op}{\st}
- \justifies
- \trans
- {\StmOutput:\pgm}{\ip}{(\stk,\str)}
- {\ip'}{\push{s}{\op}}{\st}
- \using{\routputns}
- \qquad
- \text{met $\pop{\stk} = (s,\stk') $,}
-\endprooftree
-$$
+\theroutputns%
waarbij $\op$ in de bovenste regel de gehele outputstack weergeeft. Merk op
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.
-