Da s0 auch Endzustand ist, wird das leere Wort direkt akzeptiert. Sie brauchen dazu also nicht s0 zu verlassen. (das müssten Sie nur machen, wenn irgendwelche Wörter am Anfang aufreten können, die Sie nicht akzeotieren dürfen, aber da in s0 ja nur a's und b's eingelesen werden, und jede Kombination aus nur a's und b's zur Sprache gehört, müssen Sie s0 hier nicht verlassen).
Viele Grüße
Friederike Pfeiffer-Bohnen und Lukas König