diff options
| author | Camil Staps | 2016-06-10 09:00:40 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-10 09:00:40 +0200 |
| commit | 47b14a45a053cc8b1e4e1686d17d19589bf2edbc (patch) | |
| tree | ac6a8f5f60fc261c63c9491e3932647f1d581625 /defmeta.tex | |
| parent | Merge branch 'master' of https://github.com/W-M-T/Berekeningsmodellen-IBC025-... (diff) | |
Feedback
Diffstat (limited to 'defmeta.tex')
| -rw-r--r-- | defmeta.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/defmeta.tex b/defmeta.tex index 51f5ddd..05a1de1 100644 --- a/defmeta.tex +++ b/defmeta.tex @@ -9,7 +9,8 @@ We zullen de volgende metavariabelen gebruiken: \item[$s$] voor strings ($\String$), \item[$\var$] voor strings die als naam van een variabele worden gebruikt, \item[$\val$] voor strings die als waarde van een variabele worden gebruikt, - \item[$e$] voor elementen van stacks ($a$ voor een element van $\Stack{a}$), + \item[$e$] voor elementen van stacks ($a$ voor een element van $\Stack{a}$ + (zie \autoref{sec:def:io}), \item[$\stk$] voor stacks ($\Stack{a}$ voor willekeurige $a$), \item[$\ip$] voor inputstacks ($\Input$), \item[$\op$] voor outputstacks ($\Output$), |