Vielen Dank für die Antwort.
Ich wollte eigentlich ein Bild mit meinem Lösungsansatz posten, aber das bekomme ich irgendwie nicht hin. Deshalb jetzt der Versuch, das über die Tastatur zu kommunizieren:
Ableitung des Testwort 001:
(s0, 001, k0) -> (s0, 01, 0k0) -> (s0, 1, 00k0) -> (s1, lambda, 0k0)
KA terminiert nicht, das Testwort funktioniert also wirklich nicht.
1. Lösungsansatz:
Hinzufügen eines neuen Zustand: (s1, lambda, 0) = (se, k0)
--> Funktioniert das so?
2. Lösungsansatz:
Hinzufügen eines neuen Zustand: (s1, lambda, 0) = (s0, k0)
--> Alternative: KA würde damit den bereits vorhandenen EZ-Übergang in s0 nutzen. Funktioniert das? Ist das eleganter, als Lösungsansatz 1?
Vielen Dank schonmal für die Hilfe