Danke für die schnelle Antwort!
Das heißt, wenn man einen Kellerautomaten konstruieren soll, der auch das leere Wort akzeptiert, hat man zwei Möglichkeiten:
1. man macht einen lambda-Übergang von s0 nach se
2. man gibt s0 als Endzustand an
Ist das so richtig?
Viele Grüße