% vim: set spelllang=nl: \subsection{Organisatie} %todo titel In \autoref{sec:def} beschrijven we formele definities om de semantiek van Smurf te kunnen specificeren. We kijken naar de syntax, input en output, de programmatoestand en de transities in de natuurlijke semantiek die we gaan definiƫren. \autoref{sec:rules} beschrijft vervolgens per statement in de syntax de formele semantiek. Hierbij baseren we ons op de Smurf specificatie \cite{safalra}, waarbij we dingen verhelderen en ongedefinieerd gedrag definiƫren.