explanation.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

% vim: set spelllang=nl:
\subsection{Het omdraaiprogramma uitgelegd}
\label{sec:uitleg programma}

Om uit te leggen hoe dit programma precies functioneert, zullen we een
programma bekijken dat er identiek aan is, op de namen van de gebruikte
variabelen na. In de analyse zijn de namen kleiner gemaakt, zodat de
bewijsbomen minder breed zouden worden. De variabele \smurfinline{program}
correspondeert met \smurfinline{u}, \smurfinline{grow} met \smurfinline{v} en
\smurfinline{shrink} met \smurfinline{w}. We zullen het programma opdelen in
twee aparte programma's die elk apart bekeken kunnen worden zodat het geheel
beter te begrijpen is.

\input{explanation-outer}
\input{explanation-inner}