Alternative zu Aufgabe 42

Question

Hallo,

ich bin noch relativ unsicher bezüglich Kellerautomaten. Ich habe auch eine andere Lösung bei der 42a raus und wollte mal fragen, ob diese Version auch richtig wäre:

Endzustände: s2 , se

Zustandsübergänge:

(s0, a, k0) -> (s1, ak0)

(s1, b, a) -> (s2, a)

(s2, a, a) -> (s3, aa)

(s3, b, a) -> (s2, a)

(s2, b, a) -> (s4, a)

(s4, a, a) -> (s2, lambda)

(s2, lambda, k0) -> (se, k0)

 

Danke im Voraus!

Answer 1

Hallo uzqqk,

deine Idee war gut. Dein KA ist aber leider falsch. 

Zuerst soll s2 kein Endzuständ sein, ansonst wird ab auch akzeptiert.

Außerdem gibt es keinen eindeutigen "Wendepunkt", deshalb können ab und ba abwechselnd vorkommen. Z.B. das Wort ababbaabbaba wird von deinem KA akzeptiert.

Ich würde emfehlen, dass du zum nächsten Mal deinen KA (oder EA) mit einigen typischen Wörtern selbst testest, was dir viel helfen könnte.

Viele Grüße,

Runxi (Tutorin)