diff options
-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'], |