問題タブ [finite-automata]

機能と制限に基づいて、DFAエンジンとNFAエンジンの違いについての非技術的な説明を探しています。

C 用の自動化された有限ステート マシン ジェネレーターを探していますか? インターネットでいくつか見たことがありますが、どれを使用するかを決めることができません。誰かがそのようなツールを使用している場合は、適切なツールを見つけるのを手伝ってください。

ありがとう、ラヴィ・グプタ

言語が決定可能であることを証明するとき、あなたは効果的に何をしていますか？

2つの単純なDFAの共通部分からDFAを構築します。最初の単純なDFAは、少なくとも3つの0を持つすべての文字列の言語を認識し、2番目の単純な言語DFAは、最大2つの1の文字列の言語を認識します。アルファベットは（0,1）です。2つを組み合わせてより大きなDFAを構築する方法がわかりません。ありがとう！

XMLで定義された有限状態マシンの状態遷移を視覚化できるツールを知りたいです。トランジションのアニメーションを生成できると便利です

有限オートマトンと構文木の視覚的に魅力的な図を作成するための無料のツールを探しています。
注：私は本当に図を描きたいだけです。モデルを作成したり、何か凝ったことをしたりする必要はありません。

御時間ありがとうございます。

編集：
私はLaTeXでドキュメントを作成しているので、texベースのダイアグラム作成ソリューションにもオープンであると付け加えるかもしれません。

有限オートマトンのクラスを受講しています。中期的な準備をしていますが、特定の言語の文法を作成するのに問題があります。単純なものは非常に直感的ですが、より複雑になると、どこから始めればよいのかわからないようです。例えば：

L = {w E {a、b、c} *：nb（w）！= na（w）+ nc（w）}

答えは次のとおりです。

S→S1| S2S1
→bS3| S3b | S3bS3S3
→S0| S1S2
→XS4| S4X | S4XS4S4
→S| S2S0
→bS0XS0| XS0bS0 | eX→ a
| c

誰かが私に関係する思考プロセスについて少しのガイダンスを与えることができれば、それは大いにありがたいです。

非決定論的写像に関する本を読んだところ、 M=(Q,∑,trans,q ₀ ,F) に対してQ*∑ から 2 ^Qへ​​の写像があり、ここで Q は状態の集合です。^{でもどうやって2Q}なのかわからない。a、b、cの3 つの状態がある場合、どのようにして 8 つの状態にマッピングされるのでしょうか?

誰かがプロトコルコンパイラについての本当に良い本を推薦できますか？プロトコルコードを生成する方法は？いくつかのレシピが入った料理本のような表面的な本は必要ありません。代わりに、基本を学びたいと思います。メッセージが到着しない、または順不同で到着する可能性がある、2つ以上の有限状態マシンが互いにメッセージを送信するという主題を把握するには、何を研究する必要がありますか？質問は「広い」ので、同じ一般的な主題に対処する答えはどれも興味深いでしょう。

これは私の問題です

デッドロックのない 2 つのステート マシンの痕跡を知っています。

コンポジションがデッドロックフリーであるかどうか、トレースで知りたいです（estructureを知りません）。

これを知ることができる定理はありますか？