Hallo Aileen,
dies ist auch mein Verständnis, allerdings ist der Endzustand doch überhaupt erst mit einem leeren Wort erreicht worden (s1, lambda, ko) -> (se, ko) ?!
Wenn das Wort schon leer war, wie sollen dann im Endzustand noch weitere Nullen behandelt werden? Korrekt wäre meines Erachtens (s1, 0, ko) -> (s1, ko) zur Behandlung weiterer Nullen wenn der Keller schon leer ist. Sobald das Wort dann leer und keine 1 mehr aufgetreten ist, wechselt der Automat in den Endzustand.
Gruß