diff options
| -rw-r--r-- | analyse.tex | 9 | ||||
| -rw-r--r-- | introcoms.tex | 6 | ||||
| -rw-r--r-- | refs.tex | 3 | ||||
| -rw-r--r-- | ruleshead.tex | 2 |
4 files changed, 14 insertions, 6 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 diff --git a/introcoms.tex b/introcoms.tex index d12f14a..a34e0a6 100644 --- a/introcoms.tex +++ b/introcoms.tex @@ -20,9 +20,9 @@ bespreken. Alle commando's betekenen nog steeds hetzelfde. \item[\smurfinline{i} of $\StmInput$] Plaatst een string van `user input' op de stack. Hierbij wordt \texttt{\textbackslash} gebruikt om LF-karakters, dubbele aanhalingstekens - en backslashes te escapen. Echt mag je in de string linefeeds gebruiken. - Hierbij is het niet van belang om te weten hoe de user input word - afgesloten. + en backslashes te escapen. Het is ook mogelijk LF-karakters in de string te + gebruiken. Afhankelijk van de inputmethode is dit al dan niet mogelijk --- + in deze specificatie abstraheren we van inputmethodes. \item[\smurfinline{o} of $\StmOutput$] Stuurt het bovenste element van de stack naar `de output'. \item[\smurfinline{p} of $\StmPut$] @@ -2,5 +2,8 @@ \bibitem{safalra} Smurf Specification, \url{http://safalra.com/programming/esoteric-languages/smurf/specification/}. Opgehaald 27 april 2016. + + \bibitem{esolang:prog} Smurf --- Reversing input on Esolang, + \url{http://esolangs.org/wiki/Smurf#Reversing_input}. Opgehaald 27 mei 2016. \end{thebibliography} diff --git a/ruleshead.tex b/ruleshead.tex index d45bee3..ba3d99a 100644 --- a/ruleshead.tex +++ b/ruleshead.tex @@ -3,7 +3,7 @@ \label{sec:rules:head} \begin{quote} - h - Pops a string from the stack, and pushes its head, that is the first + h - Pops a string from the stack, and pushes its head, ie [sic] the first character. This causes an error if used on the empty string. \end{quote} |