Kurze Frage zum Akzeptor-Automaten

[()V()r.Freeze]

Kurze Frage: Ich habe hier einen Akzeptor entworfen, bei dem alle Zustände (Außer der Ausgangszustand) Endzustände sind. Der Automat soll die Römischen Zahlen bis 10 akzeptieren. Wenn ich also z.B. 3x "I" eingebe durchlaufe ich zwei Endzustände. Ist das zulässig? Oder gibt es nur einen, DEN Endzustand?

[Stone2001]

Mehrere Endzustände sind zulässig (im Gegensatz zu Anfangszuständen). Aber kommt auf die Definition an (alle endlichen Automaten akzeptieren die ich kenne akzeptieren eine Menge an Endzuständen).

Ebenso kann man mehrere Endzustände durchlaufen bis man zum eigentlichen Ende kommt. Da spricht formal nichts dagegen.