summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorCamil Staps2016-05-14 19:19:26 +0200
committerCamil Staps2016-05-14 19:19:26 +0200
commitc2dd4e758e3bb5f7887e7145988f6be9067d7009 (patch)
treedd1e382ff34b748e31130a2a9019b9ba9aa6528c /rulesoutput.tex
parentverwerken feedback (diff)
Kleine tekstuele wijzigingen
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r--rulesoutput.tex12
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.