Kann es sein, dass in der Turingtafel ein Fehler bei den Übergängen vorhanden ist? Ich habe das prinzipielle Arbeitsverhalten der Turingmaschine dieser Aufgabe verstanden, habe aber zum Nachvollziehen versucht, dass Beispielwort auf dem Lösungsblatt nach der Übergangsvorschrift abzuarbeiten...
Wenn das Wort nach Löschen der letzten $0$ im Zähler (Div durch 2) lautet $$\ldots\star 101SSnneeenneee \star\ldots$$
dann hat man ja gerade $(s_{div2}, 0) \Rightarrow (S_{mitte1}, S, R)$ angewendet und geht nach rechts, der Lesekopf steht also auf dem zweiten $S$. Die Übergänge von Zustand $s_{mitte1}$ sind meiner Meinung nach falsch definiert, da ich doch so zuerst $n$ bzw. $e$ in $0$ und $1$ ändere und dann erst den Zähler inkrementiere oder? So würde ich dann doch auch noch das 6. Zeichen $n$ in eine $0$ umwandeln, bis der $\star$-Übergang zum Zustand $S_{val1}$ schließlich greift... Und lösche ich in $s_{val1}$, so wie die Übergänge in der Lösung definiert sind, nicht dann auch die $1$en rechts von den beiden $S$ aus meinem bereits umgewandelten Wort raus mit $\star$?
Vielleicht habe ich auch nur einen Denkfehler, aber es wäre hilfreich, wenn das jemand einmal checken könnte. Dankesehr!