Hallo,
wäre diese Alternativlösung auch denkbar:
Für alle a^m und b^n des Wortes werden a's in den Keller geschrieben, die dann durch die c^o und d^p (im Erfolgsfall) restlos gelöscht werden?
Überführungsdiagramm:
(s0, a, k0) -> (s0, ak0)
(s0, a, a) -> (s0, aa)
(s0, b, a) -> (s1, aa)
(s1, b, a) -> (s1, aa)
(s1, c, a) -> (s2, LAMBDA)
(s2, c, a) -> (s2, LAMBDA)
(s2, d, a) -> (s2, LAMBDA)
(s2, LAMBDA, k0) -> (sEnde, k0)
Danke für die Antwort!