diff options
author | Evi | 2016-05-14 15:58:35 +0200 |
---|---|---|
committer | Evi | 2016-05-14 15:58:35 +0200 |
commit | 8962431a7dce03507e3f84fb8e66a349a04fe057 (patch) | |
tree | 3431a60c8d8f981ac043d5067db5d4856eaea972 /rulesoutput.tex | |
parent | Cleanup (diff) |
verwerken feedback
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r-- | rulesoutput.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex index 96c806e..f55b374 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -22,10 +22,11 @@ $$ {\ip'}{[\op:[s:\Nil]]}{\st} \using{\routputns} \qquad - \text{met $(s,\stk') = \pop{\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. |