Wäre es auch möglich, den Automaten so zu gestalten, dass im ersten Teil die Eingabe b das zuvor reingeschrieben a löscht, und im zweiten Teil dann erst das b reingeschrieben wird, und das a wiederrum das zugehörige b löscht:
also quasi:
(s0, a, k0) ->(s1, ak0)
(s1, b, a) -> (s1, lambda) (1. Teil des Worts)
(s1, a, k0) ->(s1, ak0)
(s1, b, k0) ->(s2, bk0) (Wechselstelle, 2.Teil des Worts)
(s2,a, b) ->(s2, lambda)
(s2, lambda, k0) ->(sE, k0)
Ist das möglich oder ergibt sich dadurch ein Problem, dass ich nicht entdeckt habe?
Vielen Dank!