Alternative A44

Question

Hallo,

ich wollte mal fragen, warum mein KA zur A44 höchstwahrscheinlich falsch ist?

Endzustand: se

Übergänge:

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

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

(s0, c, k0) -> (s0, ck0)

(s0, a, a) -> (s0, aa)

(s0, c, a) -> (s0, ca)

(s0, c, c) -> (s1, lambda)

(s1, c, k0) -> (s1, ck0)

(s1, c, a) -> (s1, ca)

(s1, c, c) -> (s1, lambda)

(s1, a, a) -> (s3, lambda)

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

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

(s0, b, a) -> (s2, lambda)

(s0, a, a) -> (s3, lambda)

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

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

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

(s3, a, a) -> (s3, lambda)

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

 

Danke im Voraus!

Answer 1

Hallo,

ich habe deinen Kellerautomat angeschaut und etwas getestet; für mich sieht er eigentlich richtig aus.

Meiner Meinung nach ist er ist in der Lage, die Wörter zu akzeptieren, die in der Sprache L liegen. Schwieriger ist es allerdings zu entscheiden, ob er auch nur die Wörter akzeptiert, die in der Sprache liegen.

Wie gesagt, für mich scheint dieser KA richtig zu sein.

Viele Grüße,

Tim (Tutor)