Dazu nur eine kleine Ergänzung:
bei Kellerautomaten und Turingmaschinen muss wegen der Vielzahl an Möglichkeiten nicht jede Kombination explizit hingeschrieben werden. Da gilt: wenn ein Übergang nicht definiert ist, bleibt der Automat eben nichtakzeptierend stehen. Bei det. EA ist das aber nicht der Fall, wie Max richtig erläutert hat.
Viele Grüße
Lukas König, Friederike Pfeiffer-Bohnen und Micaela Wünsche