Hallo,
in deiner Lösung ist die Übergangstabelle nicht vollständig definiert. Du verweist häufig auf den Zustand S4 ohne die Übergangsfunktionen für diesen Zustand definiert zu haben. Deswegen ist deine Lösung so in dieser Form falsch...
Wenn du allerdings statt S4 S3 gemeint hast, sieht das ganze wieder anders aus. Bei Zustand S2 und Zeichen * müsste auf jeden Fall (S4,1,L) stehen. Allerdings ist das ganze immer noch falsch, da der Automat nachdem er das Wort einmal kopiert hat, nochmal von vorne beginnt und das neu erstellte Wort nochmals anhängt usw. Dh außer beim leeren Wort wird der Automat nie den Endzustand erreichen.
VG
Yannick (Tutor)
Gruß
Yannick (Tutor)