diff options
author | Camil Staps | 2016-04-29 15:54:47 +0200 |
---|---|---|
committer | Camil Staps | 2016-04-29 15:54:47 +0200 |
commit | eb7e088ae4f28b0bda9445be1c62a63de140b969 (patch) | |
tree | a89420b2ec4848a2dad80741ef982574ceee69b1 /rulesoutput.tex | |
parent | \var is voor variabelen (diff) |
Nog een var
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r-- | rulesoutput.tex | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex index 57e7bbe..96c806e 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -5,9 +5,9 @@ o - Output the string at the top of the stack \end{quote} - Net als bij het inputcommando gaan we op een abstracte wijze met de output om. -We houden gedurende het hele programma een stack van strings, genaamd $\Output$ bij -waar het programma zijn output naar wegschrijft. +Net als bij het inputcommando gaan we op een abstracte wijze met de output om. +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: @@ -26,5 +26,7 @@ $$ \endprooftree $$ -Merk op dat eenzelfde regel waar $var$ 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. +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. |