Fehlt in der Musterlösung nicht der Zustandsübergang (s0,b,k0)---> Sackgassenzustand?
Momentan würde das Wort "b" auch aktzeptiert werden, obwohl es nicht Teil der Sprache ist, da man im Zustand s0 (welcher Endzustand ist) startet und kein Übergang definiert ist.