Hallo uuiya,
auf den ersten Blick scheint deine Lösung auch richtig zu sein. Du hast sicherlich den intuitiveren Ansatz gewählt, brauchst dadurch eben auch einen Zustand mehr.
Was in der Musterlösung gemacht wird, ist einfach direkt beim ersten Durchlaufen des Bandes zu überschreiben. Wenn du beispielsweise als erstes eine 1 einliest, weißt du ja direkt, dass w ∉ L gilt. So spart man sich eben, die Funktionalität des Überschreibens separat zu regeln, wie es bei dir die Zustände S4 und S5 machen :) Deine Lösung ist aber sicherlich leichter nachzuvollziehen, wenn jemand nur die Übergangstabelle hätte und versuchen würde zu verstehen, was die TM macht.
Beste Grüße,
Martin (Tutor)