"Sei L (umgekehrt) = {blank, 0, 1}. Wieviele Konfigurationswechsel bewirkt die Maschine r ---1---> 0---->r, wenn sie vor dem 1. Zeichen eines Wortes w= 11...1 mit |w| = n angesetzt wird.
(Startkonfig ist: q0blankw).
Die Lösung ist t(w) = 4|w| + 1
Wie wird das genau durchgeführt?
(die 1 steht auf dem pfeil und der pfeil von der 0 führt zurück zu r)