Ist sichergestellt das Wort mit aab endet?

Question

Ich habe auch noch eine Frage:

Bei dem in der Lösung angegebenen Kellerautomaten wird meiner Ansicht nach nicht sicher gestellt, dass das Wort nach dem letzten Teilwort "aab" wirklich zu Ende ist.

Sobald die Wortfolge "aab" kommt, wird in Zustand se gesprungen und die restliche Eingabe ist irrelevant.

Wenn ich beispielsweise das Wort "aaba" nehme, so wird dies vom Kellerautomaten akzeptiert, ist aber nicht Teil der Grammatik.

Sehe ich das richtig?

 

Liebe Grüße

Chris

 

Answer 1

Das Wort aaba wird nicht akzeptiert, weil der KA das Wort komplett abarbeiten muss, um zu akzeptieren (im Ggs. zur TM).

Viele Grüße

Lukas König