Hallo,
Wäre folgender Kellerautomat korrekt? Meine Grundidee war, für jedes "ab" ein c auf den Keller zu schreiben. Jedes "ba" im zweiten Teil des Wortes löscht dann ein c.
(s0,a,k0) ->(s1,ak0)
(s1,b,a) ->(s2,c)
(s2,a,c) -> (s1,ac)
(s2,b,c) -> (s3,c)
(s3,a,c) ->(s2,lambda)
(s2,lambda,k0) ->(se,ko)
mit s0 und se als Endzuständen.
Danke im voraus.