Endliche Zustandsmaschine: Ein Zustand in mehrere Zustände

Question

Ich schreibe eine einfache endliche Zustandsmaschine und erkannte, dass es Situationen gibt, in denen ein Ereignis einen Zustand zu mehr als einem möglichen Ergebnis annehmen kann. Im Grunde genommen von dem Zustand A, wenn Ereignis E geschieht, könnte der Staat entweder C oder D sein

Ich bin derzeit die Javascript Finite State Machine Code hier geschrieben: https://github.com/jakesgordon/javascript-state-machine

Aus der Dokumentation ich nicht einen offensichtlichen Weg sehen, der dies ermöglicht. Mehr noch, ich habe das Gefühl, dass das tatsächlich ein Fluss in meinem ursprünglichen Design ist.

Im Grunde sollte es in einer Finite-State-Maschine eine Situation geben, in der ein Übergang stattfindet und basierend auf einer Logik zu einem von mehreren Zuständen (1 zu viele) führt, oder sollten wir die Logik überprüfen Welcher Übergang muss stattfinden (1 zu 1)?

Answer 1

Herzlichen Glückwunsch, Sie haben gerade non-deterministic finite state machines entdeckt! Die Ideen sind denen einer deterministischen Zustandsmaschine ähnlich, mit der Ausnahme, dass es mehrere Möglichkeiten zum Übergang von einem Zustand geben kann, der das gleiche Eingangssymbol hat. Wie das eigentlich gemacht wird, ist nicht spezifiziert (Zufälligkeit, Benutzereingabe, Verzweigung und Ausführung auf einmal, etc.).