diff options
author | W-M-T | 2016-05-25 17:49:53 +0200 |
---|---|---|
committer | W-M-T | 2016-05-25 17:49:53 +0200 |
commit | 3599cdb8bcf88679cb40f89ce56b70e8b1683d17 (patch) | |
tree | d2cfc1db2e8a6d8625fd111fd805de445e809c6a | |
parent | + nog een bestand (diff) |
fixes
-rw-r--r-- | defio.tex | 2 | ||||
-rw-r--r-- | introcoms.tex | 4 |
2 files changed, 4 insertions, 2 deletions
@@ -9,7 +9,7 @@ van type $a$) is een simpel datatype met de volgende syntax: \def\inbrackets#1{$\mathrm{[}#1\mathrm{]}$} \def\bracka{\inbrackets{a}} \begin{grammar} - <Stack \bracka> ::= [<a>:<Stack \bracka>] | `Nil' + <Stack \bracka> ::= [<a>:<Stack \bracka>] | \Nil \end{grammar} Op een stack zijn twee instructies gedefinieerd: diff --git a/introcoms.tex b/introcoms.tex index 7295922..0aa01b0 100644 --- a/introcoms.tex +++ b/introcoms.tex @@ -23,7 +23,9 @@ elementen op de stack doet, worden die elementen altijd verwijderd. Stuurt het bovenste element van de stack naar `de output'. \item[\smurfinline{p} of $\StmPut$] Hierbij word ervoor gezorgd dat de waarde van de variablenaam bovenop de - stack verwijst naar de string die daaronder staat. + stack verwijst naar de string die daaronder staat. + \item[\smurfinline{g} of $\StmGet$] + Zoekt de variabele op met als naam de bovenste waarde van de stack en zet de waarde van die variabele bovenop de stack. \item[\smurfinline{h} of $\StmHead$] Zet het eerste karakter van de string bovenop de stack op de stack. |