Tach!
Endliche Automaten dürfen auch mehrere Endzustände haben.
Wie schon im Eröffnungsspiel gesagt:
F ⊆ S – Menge der Endzustände, in dem Fall F = {s₂}
Kann ich nicht interpretieren, dazu fehlen mir die Grundlagen.
Es dürfen sogar alle Zustände Endzustände sein.
Dass es mehrere Endzustände geben kann, wusste ich nicht. Grundsätzlich sehe ich das auch nicht als Problem an. Vor allem dann, wenn die Endzustände unterschiedliche Bedeutung haben und die Verarbeitung eben mit unterschiedlichen Ergebnissen enden kann. Mir widerstrebt es aber, das für diese Aufgabenstellung als gültigen Weg anzusehen. Die Aussage zur Teilbarkeit ist ein Datum, das sollte mit einem Zustand abgebildet werden.
dedlfix.