diff options
| author | W-M-T | 2016-04-29 15:14:30 +0200 |
|---|---|---|
| committer | W-M-T | 2016-04-29 15:14:30 +0200 |
| commit | 437a9e3b60e681373bd142c90c5295694f425d2d (patch) | |
| tree | 023a8a4a6192279943d57536957fe4cb75942700 /rulesoutput.tex | |
| parent | Output rule (diff) | |
spelling/structure
Diffstat (limited to 'rulesoutput.tex')
| -rw-r--r-- | rulesoutput.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex index 3f6ab0a..739ced0 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -5,11 +5,11 @@ 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, + 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: + Dit geeft de volgende regel: $$ \prooftree @@ -26,5 +26,5 @@ $$ \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 doe de $\Output$-stack wordt verwerkt. +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. |