How to
How to use a state diagram template.
- 01オートマトンを計画する
状態、入力アルファベット、開始状態、受理状態を決めます。必要に応じて紙にスケッチします。
- 02状態図作成ツールを使う
ツールを開き、状態を表す円を追加します。分かりやすいように各状態へラベルを付けます。
- 03遷移を描く
状態同士を矢印でつなぎ、各遷移を引き起こす入力記号をラベルとして付けます。
- 04開始状態と受理状態を示す
開始状態には外部からの矢印を追加し、受理状態は二重円で囲みます。
- 05共有または書き出す
完成したら、有限オートマトン図を画像として書き出すか、共同作業用のリンクを共有します。
FAQ
Questions about state diagram templates
有限オートマトン図とは何ですか？
有限オートマトン図は、計算機科学でパターンマッチングや言語認識などのアルゴリズムの設計・分析に使われる数学的な計算モデル、有限オートマトンを視覚的に表したものです。状態を円、遷移をラベル付きの矢印で示します。
DFAとNFAの図は何が違いますか？
DFA（決定性有限オートマトン）図では、各状態に入力記号ごとにちょうど1つの遷移があり、次の状態が1つに決まります。NFA（非決定性有限オートマトン）図では、同じ記号に対して複数の遷移や遷移なしを設定でき、ε遷移を含めることもできます。
このツールでε遷移を含むNFAを作成できますか？
はい。状態図作成ツールではε遷移に対応しています。任意の遷移に空文字（ε）をラベルとして付け、非決定性を表現できます。
有限オートマトン図ツールは無料ですか？
もちろんです。基本的な図作成機能は無料で利用できます。必要な数だけオートマトン図を作成・編集・書き出しできます。
文字列を受理できるか確認するために、オートマトンをどうシミュレーションしますか？
このツールは図の作成を中心としていますが、作成した図を使って遷移を手動で追跡したり、シミュレーションツールと組み合わせたりできます。図を書き出し、オートマトンシミュレーターでテストする方法がおすすめです。