def.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

% vim: set spelllang=nl:
\section{Definities}
\label{sec:def}

De voorbeelden hierboven zijn niet erg leesbaar, wat het lastig maakt om over
Smurfprogramma's te redeneren. We defini\"eren daarom een alternatieve syntax,
die we in de rest van het werkstuk zullen gebruiken. Dit doen we in
\autoref{sec:def:syn}. Vervolgens defini\"eren we hoe we input en output
modelleren (\ref{sec:def:io}), hoe de toestand van een Smurfprogramma eruit
ziet (\ref{sec:def:state}) en wat voor transities we zullen gebruiken bij het
specificeren van Smurf in de natuurlijke semantiek (\ref{sec:def:trans}). Bij
al definities gebruiken we een aantal metavariabelen die worden beschreven in
\autoref{sec:def:meta}.

\input{defmeta}
\input{defsyn}
\input{defio}
\input{defstate}
\input{deftrans}