Konstruieren Sie eine Turing Maschine über das Alphabet {a,b,0,1,#}, die die Wörter der Form (ab)^n, wobei n>0, akzeptiert. Falls das Wort akzeptiert wurde, überschreiben Sie jeden Buchstabe mit dem Zeichen 1 und gehen Sie in einen Akzeptanzzustand über und falls nicht, überschreiben Sie jeden Buchstaben mit dem Zeichen 0 und verweilen Sie in einem Zustand, der nicht in der Menge aller Akzeptanzzustände enthalten ist.
Problem:
Ich bekomme das Überschreiben nicht hin. Wie würde solch eine Turing Maschine ausschauen?