Aufgabe 1b, Kellerautomat in den Endzustand kommen - fehlender Zustandsübergang?

Question

Guten Mittag,

 

ich habe eine Frage zu dieser Aufgabe und der ersten Lösung für den Kellerautomat. Dort kommt man von s"0 nur über (s"0, b,b) --> (se, bb) in den Endzustand aus s"o. Aber in meinem DEA komme ich bei dem Zustand s3 auch über die Eingabe eines a's vor dem b in den Zusand s4 (welches der Endzustand ist.)

Fehlt deshalb nicht hier noch ein Übergang von (s"0,b,a) --> (se,ba) ?

Oder sehe ich da irgendwo was falsch.

Vielen Dank schonmal

Answer 1

Hallo,

dieser Fall wird dadurch abgedeckt, dass das a garnicht in den Keller gelegt wird.

s0‘‘,a,b —> s0‘‘,b. Das a wird also nicht weiter beachtet (das ist auch richtig, da egal ist, wie oft ein a kommt in diesem Fall, nur das b ist relevant)

ich hoffe das hilft dir weiter

viele Grüße

Anne (Tutor)