diff options
author | Camil Staps | 2016-06-12 16:27:22 +0200 |
---|---|---|
committer | Camil Staps | 2016-06-12 16:27:22 +0200 |
commit | 1faf953f857704cd2ac0acb98d99a7a99e37ba5e (patch) | |
tree | 93ffaccde9c3734c6f3b02fc1acc51c43d5101d7 /rulesoutput.tex | |
parent | Turned explanation into list (diff) |
Appendix met regels
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r-- | rulesoutput.tex | 17 |
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. - |