Meiner Meinung nach enthält die Musterlösung einen Fehler. Es würde doch auch ein Wort akzeptiert werden, welches noch nicht ganz abgearbeitet ist. Zum Beispiel wenn man an ein beliebiges, gültiges Wort zwei Einsen anhängt, wodurch es ja logischerweise nicht mehr aus der Sprache L stammt.
Der Automat liest die letzten zwei Einsen jedoch gar nicht, da er im Endzustand angelangt ist, sobald er den vorderen (gültigen) Bereich eingelesen hat.