% 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}$
		(zie \autoref{sec:def:io}),
	\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}
