diff options
author | Camil Staps | 2016-05-14 19:19:26 +0200 |
---|---|---|
committer | Camil Staps | 2016-05-14 19:19:26 +0200 |
commit | c2dd4e758e3bb5f7887e7145988f6be9067d7009 (patch) | |
tree | dd1e382ff34b748e31130a2a9019b9ba9aa6528c /rulesoutput.tex | |
parent | verwerken feedback (diff) |
Kleine tekstuele wijzigingen
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r-- | rulesoutput.tex | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex index f55b374..c6a1f66 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -15,19 +15,19 @@ $$ \prooftree \trans {\pgm}{\ip}{(\stk',\str)} - {\ip'}{[\op:\Nil]}{\st} + {\ip'}{\op}{\st} \justifies \trans {\StmOutput:\pgm}{\ip}{(\stk,\str)} {\ip'}{[\op:[s:\Nil]]}{\st} \using{\routputns} \qquad - \text{met $\pop{\stk} = (s,\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. +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, +even geldig is. Geen van beide opties is beter dan de ander omdat we geen +aannames doen over hoe de $\Output$-stack wordt verwerkt. |