Zustandswechsel

Question

Ich verstehe das noch nicht ganz, wann der KA den Zustand wechselt.

Warum wird im ersten Schritt nicht in den Zustand s1 gewechselt? Bei anderen Aufgaben ist das oft der Fall.

Vielen Dank im Voraus!

Gruß,

Alexander 

Answer 1

Hallo,

in s0 wird da Wort vor dem Dollar abgearbeitet und sobald das Dollarzeichen kommt wechseln wir in s1, in diesem zustand wollen wir den hinteren Teil überprüfen. Konnte das Wort vollständig udn korrekt abgearbeitet werden, d.h. wir befinden uns in Zustand s1 und Arbeitsband ist leer, so wechseln wir in den Endzustand. So sind die Zustände zu verstehen.

Bei den anderen Aufgaben musste man oft sofort in einen anderen Zustand wechseln, da der Kellerautomat

1) deterministisch und zusätzlich

2) das leere Wort

beinhaltet. 2) ist hier nicht der Fall. Dieses Problem haben wir bei deterministischen Automaten, da wir in s0 am Anfang keinen lambda-übergang definieren dürfen. Schau dir diese Aufgaben am Besten nochmal an.

Gruß,

Adam (Tutor)