Endlicher Automat Frage?

Y die Ausgaben, w die Fkr dazu und z_0 der Startzustand (hier irrelevant)

Z sind die Zustände, X die Eingaben, die Fkr. delta liefert den nächsten Zustand.

Ich verstehe was hier steht, aber es macht für mich keinen Sinn. Das jede Eingabe und zu jedem Zustand einen oder mehr als einen Folgezustände haben kann. Wie kann das sein?

Es wäre ja nicht mehr eindeutig wenn ich jetzt hingehe und male:

Soll mir das die Idee vermitteln, das ich in einem Automatengraph, mehrere Wege gleichzeitig einschlagen kann?

Gleiches bei diesem Freund hier:

Das liest sich für mich, als gäbe es bei diesem Automaten kein Ende.