diff options
| -rw-r--r-- | analyse.tex | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/analyse.tex b/analyse.tex index 0c9b612..a441f80 100644 --- a/analyse.tex +++ b/analyse.tex @@ -134,5 +134,16 @@ $$\lambda^R=\lambda$$ \end{prooftree} $$ + %FIXME + NB: dit bewijs is overduidelijk niet af. We gaan de afleidingsboom + automatisch genereren, dit is nog maar een begin. Het programma, dat van de + Esolang wiki afkomstig is~\cite{esolang:prog}, werkt helaas niet voor strings + met minder dan twee karakters. In het geval van de lege string wordt geen + output gegeven; in het geval van een string van één karakter crasht het + programma. We zullen ofwel dit programma aanpassen, zodat het wel werkt, + ofwel een ander programma bekijken. In het laatste geval zullen we nog steeds + een programma nemen waar we iets inductief over kunnen bewijzen, zoals het + laatste voorbeeld uit \autoref{sec:intro:exmp}. + %todo afmaken \end{proof} |