非決定論的FSMを実装する必要があるため、状態と遷移(他のFSMの状態に依存する場合と依存しない場合がありますが、イベント/入力に依存する必要があります)を保持するFSMクラスを定義するというアイデアを思いつきました。各オブジェクトと静的std::mapを、すべてのFSMが構築時に登録するクラスに追加します。このように、イベント/入力時に、各FSMは必要に応じて他のFSMの状態を検索し、すべてのFSMを1つの巨大な決定論的FSMに結合することなくそれに応じて動作できます。
これは1つのNFSMで機能します。これは私が今必要としているすべてですが、さらに必要な場合は拡張できますか?このデザインに根本的な問題はありますか?