Wann akzeptiert der KA?

Question

In der Musterlösung wird im letzten Schritt nicht überprüft, ob noch ein Buchstabe auf dem Band steht. Das Wort $aabb$ bspw. würde so akzeptiert werden, da sich der Kellerautomat in einem Endzustand befindet. Stimmt das?

 

Answer 1

Nein, das Wort würde er nicht akzeptieren, da nach dem Einlesen der ersten 3 Zeichen für die Situation $(s_e,b,k_0)$ kein Übergang definiert ist. Der KA ist dann zwar in einem Endzustand, aber nicht alle Zeichen auf dem Eingabeband wurden eingelesen, was auch Voraussetzung für das Akzeptieren eines Wortes ist (s. Folie 3-7 d) )

 

Sven (Tutor)