From f2151ba257a9fe4062ae2394dab7f6190351a81f Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 27 May 2016 16:39:39 +0200 Subject: Noot over onafheid analyse toegevoegd --- analyse.tex | 11 +++++++++++ 1 file changed, 11 insertions(+) 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} -- cgit v1.2.3