diff options
Diffstat (limited to 'analyse.tex')
| -rw-r--r-- | analyse.tex | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/analyse.tex b/analyse.tex index 9c14a49..0c9b612 100644 --- a/analyse.tex +++ b/analyse.tex @@ -2,8 +2,13 @@ \section{Analyse} \label{sec:analyse} -Als analyse willen we graag een stuk code dat een string omdraait bekijken aan -de hand van onze semantiekregels. Deze code ziet er als volgt uit: +Omdat de transities van onze natuurlijke semantiek input meenemen, kunnen we +alleen een afleidingsboom maken voor een programma \emph{met} een bepaalde +input. Het is dus niet triviaal mogelijk een afleidingsboom te maken voor willekeurige +input. In deze sectie willen we laten zien hoe het toch mogelijk is een bewijs +te leveren over een programma met een willekeurige input, door gebruik te maken +van inductie naar de lengte van de input. We doen dit aan de hand van een +programma dat een string omdraait~\cite{esolang:prog}: \begin{smurf} \footnotesize |