Mittels der Zustände ´z_0, z_1, z_2´ läuft die Maschine von links nach rechts über das Wort und prüft dabei, dass auf dem Band ein Wort ´xcy´ mit ´x in {a,b}^+´ und ´y in {a,b}^(**)´ steht (durch ´z_0´ und den Übergang zu ´z_1´ wird gesichert, dass am Anfang ein ´a´ oder ´b´ steht; durch den Übergang von ´z_1´ zu ´z_2´ wird ein ´c´ im Wort gesichert; ´z_2´ sichert, dass nach ´c´ nur noch ´a´s und ´b´s kommen). Entsprechend ´z_3´ erfolgt ein Rücklauf an den Wortanfang. Im Zustand ´z_4´ steht der Kopf nun über dem ersten Buchstaben, sagen wir ´x´. Dieser wird gelöscht und sich in ´z_x´ gemerkt. Nun erfolgt ein Lauf nach rechts - beim Lesen von c ein Wechsel in ´z_x^'´ - bis der erste von ´**´ verschiedene Buchstabe hinter ´c´ gefunden ist. Wird ein solcher gefunden, so wird getestet, ob es ´x´ ist; im negativen Fall wird nicht akzeptiert, im positiven Fall wird der Buchstabe auch gelöscht und ein Schritt nach rechts gegangen. Mittels ´z_5´ wird festgestellt, ob der gelöschte Buchstabe das Wortende war (Zustand ´z_E´ = Ende) oder nicht (Zustand ´z_(kE)´ = kein Ende). Nun erfolgt ein Rücklauf, wobei am ´c´ in ´z_E^'´ bzw. ´z_(kE)^'´ übergegangen wird. War das Wortende schon erreicht (´z_E´ und ´z_E^'´), wird akzeptiert, falls vor dem ´c´ kein ´a´ oder ´b´ steht; ansonsten wird abgelehnt. War das Wortende noch nicht erreicht, wird endlos nach links gegangen, falls vor dem ´c´ nichts mehr steht, ansonsten wird der Prozess (mittels ´z_3´ und ´z_4´) erneut eingeleitet.