@@Matthias Apsel
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₂}
Es dürfen sogar alle Zustände Endzustände sein.
Man könnte einen Automaten auch so definieren, dass er beim Übergang von einem Zustand zum nächsten eine Ausgabe tätigt (in dem Fall „teilbar durch n“ bzw. „nicht teilbar durch n“) und alle Zustände Endzustände sind. Dann hätte man auch das Problem des offenen Messers nicht und der Automat käme mit n Zuständen aus.
LLAP 🖖
--
„Wer durch Wissen und Erfahrung der Klügere ist, der sollte nicht nachgeben. Und nicht aufgeben.“ —Kurt Weidemann
„Wer durch Wissen und Erfahrung der Klügere ist, der sollte nicht nachgeben. Und nicht aufgeben.“ —Kurt Weidemann