diff options
| -rw-r--r-- | app-trees.tex | 12 | ||||
| -rw-r--r-- | tree-gen-leeg.tex | 21 | ||||
| -rw-r--r-- | werkstuk.tex | 4 |
3 files changed, 37 insertions, 0 deletions
diff --git a/app-trees.tex b/app-trees.tex new file mode 100644 index 0000000..c91c8ef --- /dev/null +++ b/app-trees.tex @@ -0,0 +1,12 @@ +\newgeometry{margin=15mm,bottom=22mm} +\begin{landscape} + \section{Afleidingsbomen} + \scriptsize + \scalebox{0.5}{ + $$ + \begin{prooftree} + \input{tree-gen-leeg} + \end{prooftree} + $$ + } +\end{landscape} diff --git a/tree-gen-leeg.tex b/tree-gen-leeg.tex new file mode 100644 index 0000000..dc98097 --- /dev/null +++ b/tree-gen-leeg.tex @@ -0,0 +1,21 @@ +\[\[\[\[\[\[\[\[\[\[\[\[\[\[\[\[\[\[\[\[\axjustifies\trans{\lambda}{\Nil}{\left(\Nil,\emptyset\right)}{\Nil}{\Nil}{\left(\Nil,\emptyset\right)}\using{\rlambdans}\] +\justifies{}\trans{\StmOutput}{\Nil}{\left(\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\routputns}\] +\justifies{}\trans{\StmPush~\texttt{""}:\StmOutput}{\Nil}{\left(\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rexecns}\] +\justifies{}\trans{\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\] +\justifies{}\trans{\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\] +\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\] +\justifies{}\trans{\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\] +\justifies{}\trans{\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\] +\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\texttt{"\textquotedblright{}\textquotedblright{}"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rcatns}\] +\justifies{}\trans{\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rquotifyns}\] +\justifies{}\trans{\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\] +\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\] +\justifies{}\trans{\StmPush~\texttt{"input"}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\] +\justifies{}\trans{\StmInput:\StmPush~\texttt{"input"}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rinputns}
\ No newline at end of file diff --git a/werkstuk.tex b/werkstuk.tex index fd43b0c..3822d51 100644 --- a/werkstuk.tex +++ b/werkstuk.tex @@ -14,6 +14,7 @@ \usepackage{amsmath} \usepackage{amsthm} \usepackage{enumitem} +\usepackage{pdflscape} \usepackage{prooftree} \usepackage{stackrel} \usepackage{syntax} @@ -52,4 +53,7 @@ \input{planning} \input{refs} +\appendix +\input{app-trees.tex} + \end{document} |