Hallo,
ja, für diese Aufgabe hätte auch ein deterministischer Kellerautomat ausgereicht. Wie später gezeigt wird, gibt es ja sogar einen endlichen Automaten für die Sprache, also ist da sogar ein DKA noch "unterfordert".
Nichtdeterministisch ist der Automat aus der Lösung nur, weil es einfacher ist, so einen anzugeben und weil in der Aufgabenstellung kein DKA gefordert war.
Viele Grüße
Lukas König