Wieso ist das leere Wort erlaubt?

Question

Wenn man direkt am Anfang ein Sternchen, also das Ende des Wortes einliest steht in der Tabelle eine leere Menge, bedeutet dies, dass die Touringmaschiene abbricht und beim Abbruch in einem Endzustand ist also stehenbleibt?

Answer 1

Hallo uwdtl,

prinzipiell starten Turingmaschinen in der Anfangskonfiguration $( \lambda , s_0 , w )$ , also mit dem Lesekopf über dem linkesten Zeichen der Bandinschrift. Wäre das erste Zeichen bereits ein Leerzeichen (und damit die Bandinschrift das leere Wort) würde die Turingmaschine in der Tat stoppen und das Wort akzeptieren.

Viele Grüße

Jonas (Tutor)