Ich verwende AASM by Rubyist, um einen 4-Schritt-Assistenten für ein AR-Objekt zu erstellen. Je nach Zustand des Objekts müssen verschiedene Validierungen durchgeführt werden. Was ist der beste Weg, u
Ich möchte eine FSM schreiben, die mit einem Leerlaufzustand beginnt und sich aufgrund eines Ereignisses von einem Zustand zu einem anderen bewegt. Ich bin nicht vertraut mit der Codierung von FSM und
Bei einem regulären Ausdruck suche ich nach einem Paket, das dynamisch den Code für einen endlichen Automaten generiert, der den RE implementiert. C/C++ und Python bevorzugt, aber auch andere Sprachen
Gibt es einen allgemeinen Beweis für die Äquivalenz zweier (deterministischer) endlicher Automaten, die immer endliche Zeit benötigen? Können Sie also bei zwei FSMs beweisen, dass sie bei gleichen Inp