Mir ist etwas unklar, wie der Automat hier vermeidet, dass z.B. das Wort w=1 zu akzeptieren.
Da man sich zu Beginn ja im Zustand s0 befindet und somit gleichzeitig in einem Endzustand, akzeptiert der Automat neben lambda doch auch die 1, da beide Zeichen des Eingabealphabets keine Zustände definiert sind oder?