+ nog een bestand

1 files changed, 19 insertions, 0 deletions

diff --git a/defmeta.tex b/defmeta.tex
new file mode 100644
index 0000000..51f5ddd
--- /dev/null
+++ b/defmeta.tex
@@ -0,0 +1,19 @@
+% vim: set spelllang=nl:
+\subsection{Metavariabelen}
+\label{sec:def:meta}
+We zullen de volgende metavariabelen gebruiken:
+
+\begin{description}[labelindent=\parindent]
+	\item[$a$] voor typen,
+	\item[$c$] voor karakters ($\Char$),
+	\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[$\stk$] voor stacks ($\Stack{a}$ voor willekeurige $a$),
+	\item[$\ip$] voor inputstacks ($\Input$),
+	\item[$\op$] voor outputstacks ($\Output$),
+	\item[$\pgm$] voor programma's ($\Pgm$),
+	\item[$\st$] voor toestanden ($\State$) en
+	\item[$\str$] voor variable stores.
+\end{description}