1 files changed, 10 insertions, 1 deletions
diff --git a/def.tex b/def.tex
index ccc30b6..668f7a4 100644
--- a/def.tex
+++ b/def.tex
@@ -2,9 +2,18 @@
 \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}
-