{-
Berechenbarkeit und Komplexitaet                            SS03 bei Dr. Tompitz
autotool-Aufgabe TM-BIN                                   Arne Brutschy, 8964813
-}
import Turing
student :: Turing Char Integer
student = Turing { eingabealphabet = mkSet "A",
                   arbeitsalphabet = mkSet "#01AB",
                   leerzeichen = '#',
                   zustandsmenge = mkSet [ 1, 2, 3, 4, 5],
                   tafel = listToFM [(('#', 1), mkSet[('0', 3, R)]),
                                     (('#', 2), mkSet[('1', 3, R)]),
                                     -- Hier der Uebergang zum
                                     -- Endzustand
                                     (('#', 3), mkSet[('#', 5, O)]),
                                     (('#', 4), mkSet[('#', 1, L)]),
                                     (('0', 1), mkSet[('0', 1, L)]),
                                     (('0', 2), mkSet[('0', 2, L)]),
                                     (('0', 3), mkSet[('0', 3, R)]),
                                     (('1', 1), mkSet[('1', 1, L)]),
                                     (('1', 2), mkSet[('1', 2, L)]),
                                     (('1', 3), mkSet[('1', 3, R)]),
                                     (('A', 1), mkSet[('B', 2, L)]),
                                     (('A', 2), mkSet[('A', 1, L)]),
                                     (('A', 3), mkSet[('A', 4, R)]),
                                     (('A', 4), mkSet[('A', 4, R)]),
                                     (('B', 1), mkSet[('B', 1, L)]),
                                     (('B', 2), mkSet[('B', 2, L)]),
                                     (('B', 3), mkSet[('B', 3, R)]),
                                     (('B', 4), mkSet[('B', 4, R)])],
                   startzustand = 4,
                   endzustandsmenge = mkSet [5]}