Zum Weitergehen:
Code:
suche_a, a -> nicht_bewegen, a, a_gefunden
suche_a, b -> nach_rechts, b, suche_a
suche_a, SONDERZEICHEN -> nach_rechts, SONDERZEICHEN, suche_a
suche_a, BLANK -> nicht_bewegen, BLANK, suche_a // kein a gefunden, Zykle unendlich
Analog für b.
Das Finden des Anfangs ist ähnlich, überschreibe das erste Zeichen des Paares direkt mit einem Blank, wenn du in den Suche-Zustand wechselst.
Dann musst du für das Zurücklaufen immer nur nach links gehen, bis du zum ersten Blank kommst. Dann bist du am Anfang des "Restwortes" und bereit für den nächsten Durchlauf.
PS: Wie kommt man denn mal an eine günstige Turingmaschine, bei meiner alten hat sich das Band verheddert
