問題タブ [fsm]

各テストがユーザーをいくつかのステップに導く、多くの異なるテストを含むアプリケーションを開発しています。ステート マシン フレームワークを使用して、コードから状態/遷移をキャプチャすることを考えています。ルールエンジンを使ってルールを補完することも考えています。JBoss や Java で動作するステート マシン フレームワークの経験がある人はいますか? 前もって感謝します。

-グエン

組み込みC++アプリケーションインターフェイスに階層型FSMを使用しています。小さな関数を使用して、特定の州間イベントをトリガーできるかどうかを判断し、データベースに変更を加えるために使用したいと思います。ただし、州ごとに異なるイベント関数を使用して新しいクラスを作成することも困難です。コールバックとしてそれらへのポインタを設定するように。（ここでは300の関数について話しています。）

C ++がラムダ関数をサポートしている場合はそれらを使用しますが、プロジェクトアーキテクチャにあまり重点を置いていないため、ライブラリの高度な統合（ブーストなど）や組み込みを必要とするサードパーティのソリューションを使用することには消極的です。追加のプリプロセッサステップの。

何か案は？

正規表現が与えられた場合、REを実装する有限状態マシンのコードを動的に生成するパッケージを探しています。

C / C ++とPythonが推奨されますが、他の言語も同様に重要です。

Stack Overflowポッドキャスト＃36（https://blog.stackoverflow.com/2009/01/podcast-36/）で、この意見が表明されました。ステートマシンのセットアップがいかに簡単かを理解したら、次のようになります。正規表現を不適切に使用しようとしないでください。

私はたくさんの検索をしました。いくつかの学術論文やその他の複雑な例を見つけましたが、このプロセスを理解するのに役立つ簡単な例を見つけたいと思います。私は正規表現をたくさん使用していますが、「不適切な」正規表現を二度と使用しないようにしたいと思います。

Rubyist の AASMを使用して、AR オブジェクト用の 4 ステップのウィザードを作成しています。オブジェクトの状態に応じて、実行する必要があるさまざまな検証があります。特定の遷移の状態に従ってオブジェクトを検証する最もスマートな方法は何ですか?

アイドル状態から始まり、何らかのイベントに基づいてある状態から別の状態に移行する FSM を作成したいと考えています。私は FSM のコーディングに慣れておらず、Google は役に立ちませんでした。誰かが同じために使用できるCデータ構造を投稿できれば感謝します。

ありがとう、syuga2012

ここに示すように、yield キーワードを使用して単純なステート マシンを実装することは可能ですか。私には、C# コンパイラが、yield ステートメントを機能させるためにステート マシンを内部的に実装しているため、大変な作業を行ったように見えます。

コンパイラーが既に行っている作業に便乗して、コンパイラーにステートマシンのほとんどを実装してもらうことはできますか?

誰かがこれを行ったことがありますか、技術的に可能ですか?

常に有限の時間を要する 2 つの (決定論的) 有限状態マシンの同等性についての一般的な証明は存在しますか? つまり、2 つの FSM が与えられた場合、同じ入力が与えられた場合、FSM を実際に実行しなくても常に同じ出力が生成されることを証明できます (これは終了しない可能性があります)。そのような証明が存在する場合、時間計算量はどのくらいですか?

私は最近、boost::statechartライブラリ (有限状態マシン) について読みましたが、その概念が気に入りました。

C# にも同様のメカニズムがありますか? それとも、特定のデザイン パターンを使用して実装できますか?