"Angenommen das Eingabeband ist leer (leeres Wort lambda). Der Startzustand ist s0."
Dann ist die Eingabe vollständig abgearbeitet und der Automat befindet sich in einem Endzustand -> Eingabe wird akzeptiert, ohne dass irgendwelche Zustandsübergänge nötig sind.
Gruß,
Tobias (Tutor)