Ist es bei dieser Aufgabe auch möglich die c's nicht in den Keller zu schreiben?
Wäre also auch dieser Automat korrekt?
(s0, lambda, k) --> (se, k)
(s0, a, k) --> (s1, ak)
(s0, c, k) --> (s0, k)
(s1, a, a) --> (s1, aa)
(s1, c, a) --> (s1, a)
(s1, b, a) --> (s2, lambda)
(s2, a, a) --> (s2, lambda)
(s2, lambda, k) --> (se, k)
Vielen Dank!