Hallo urgwq,
was du dadurch erzeugen würdest wäre ein nichtdeterministischer Kellerautomat, durch den nichtdeterministischen Übergang, den du eingefügt hast.
Da aber in der Aufgabenstellung nach einem deterministischen Kellerautomat gefragt wurde, brauchst du s0 als Endzustand und den Übergang zu s1.
Ich hoffe das konnte deine Frage klären.
Viele Grüße
Alex (Tutor)