diff options
author | Camil Staps | 2015-09-05 00:34:32 +0200 |
---|---|---|
committer | Camil Staps | 2015-09-05 00:34:32 +0200 |
commit | fa158ad898036a63d0ba36bd92ec57b35b5ebeab (patch) | |
tree | 9ac037cb3219c4b571a8e901fa71346fbe2a94c9 | |
parent | Ex 9.5/9.6 (diff) |
-rw-r--r-- | ex9-3.tex | 4 | ||||
-rw-r--r-- | ex9-4.tex | 2 | ||||
-rw-r--r-- | ex9-5.tex | 2 |
3 files changed, 4 insertions, 4 deletions
@@ -32,7 +32,7 @@ \end{figure*} \begin{figure}[h] - \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text} + \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean} tape_9_3_b = [Just c \\ c <- fromString "abbaba"] ex_9_3_b :: TuringMachine Char ex_9_3_b = { alphabet = ['a', 'b', 'X', 'Y'], @@ -106,7 +106,7 @@ \end{figure*} \begin{figure}[h] - \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text} + \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean} ex_9_3_c :: TuringMachine Char ex_9_3_c = { alphabet = ['a', 'b', 'X'], inputs = ['a', 'b'], @@ -27,7 +27,7 @@ \end{figure*} \begin{figure}[h] - \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text} + \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean} tape_9_4 = [Just c \\ c <- fromString "baaabbaaacabab"] ex_9_4 :: TuringMachine Char ex_9_4 = { alphabet = ['a', 'b', 'c'], @@ -59,7 +59,7 @@ \end{figure*} \begin{figure}[h] - \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text} + \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean} tape_9_5_c = [Just c \\ c <- fromString "abbabbabaa"] ex_9_5_c :: TuringMachine Char ex_9_5_c = { alphabet = ['a', 'b'], |