summaryrefslogtreecommitdiff
path: root/explanation.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-11 18:49:57 +0200
committerCamil Staps2016-06-11 18:49:57 +0200
commite44fa4401d4de7d8af090f9bc825ab0846f57058 (patch)
treed0de248c0b469de46f22d0a3725ebfe980c9e3fd /explanation.tex
parentCleanSmurf (diff)
Nederlands; codestijl
Diffstat (limited to 'explanation.tex')
-rw-r--r--explanation.tex17
1 files changed, 7 insertions, 10 deletions
diff --git a/explanation.tex b/explanation.tex
index ffbf8ae..4771ffa 100644
--- a/explanation.tex
+++ b/explanation.tex
@@ -2,16 +2,13 @@
\subsection{Het omdraaiprogramma uitgelegd}
\label{sec:uitleg programma}
-Om uit te leggen hoe dit programma precies functioneert zullen we een programma bekijken dat identiek is aan het programma dat we analyseren, op de namen van de gebruikte variabelen na. (In de analyse zijn de namen kleiner gemaakt, zodat de bewijsbomen minder breed zouden worden)
-"program" correspondeert met "u",
-"grow" met "v" en
-"shrink" met "w".
-Ook zullen we het programma opdelen in twee aparte programma's die elk apart bekeken kan worden zodat het geheel beter te begrijpen is.
-\medskip
+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 \texttt{program}
+correspondeert met \texttt{u}, \texttt{grow} met \texttt{v} en \texttt{shrink}
+met \texttt{w}. We zullen het programma opdelen in twee aparte programma's die
+elk apart bekeken kunnen worden zodat het geheel beter te begrijpen is.
-\subsubsection{Het buitenste programma}
\input{explanation-outer}
-
-\subsubsection{Het recursieve binnenste programma}
\input{explanation-inner}
-