Es ist auch so ein deterministischer Automat. Für jeden Zustand gibt es nur eine Möglichkeit in welchen neuen Zustand man kommt, wenn ein Zeichen eingegeben wird. Nicht determinitisch wäre der Automat zum Beispiel, wenn es zusätzlich von s1 nach s4 einen Übergang gäbe, der durch die Eingabe von a ausgelöst wird, da dann nicht mehr klar ist, ob der Automat in s4 oder s2 übergeht, wenn in s0 ein a eingegeben wird.
Viele Grüße,
Sven (Tutor)