Hallo,
ich habe eine Frage zu der Möglichkeit 2 aus der Musterlösung der Turingmaschine.
Angenommmen man würde das Wort ba "eingeben". Die TM sollte dieses ja zu ab umwandeln. Wenn jetzt allerdings das Wort ba verarbeitet wird so passiert ja folgendes:
- b wird in s0 gelesen und der Lesekopf geht nach rechts
- a wird in s1 gelesen und der Lesekopf geht wieder zurück auf das erste Zeichen, außerdem wird a durch b überschrieben
- das erste ursprüngliche b wird mit a überschrieben und Lesekopf wandert vom ersten Zeichen nach links.
Jetzt zur Frage: steht dieser dann nicht auf * und für s3 ist mit * kein Übergang definiert? Die TM bleibt dann stehen und ist nicht im Endzustand?
Ist dieser Fall in der Musterlösung nicht korrekt abgedeckt oder habe ich einen Denkfehler drin?
Danke und LG im Vorraus!