実際の動作を見る
DFAの例。
同じツールに4つの依頼。以下の図はすべて実際に生成されたものです。
入力する内容
1の個数が偶数の文字列を受理する、{0, 1}上のDFA。状態はEvenとOddの2つ。Evenを開始状態かつ受理状態にする。
次に試す1の個数が奇数の文字列を受理するように変更その他の記号用に死状態を追加
状態図 · OMG UML 2.5.1 §14 + Harel (1987) statechart · schematex-state
生成された図
DFAとは。
決定性有限オートマトンは、文字列を1記号ずつ読み取ります。各状態から各記号に対して矢印がちょうど1本あるため、進む経路に迷いがなく、経路が受理状態で終わると文字列は受理されます。
状態図として描くと、オートマトンの授業で求められる形式になります。開始矢印、状態ごとのノード、記号でラベル付けした遷移、そして受理状態を示します。
- Standard
- OMG UML 2.5.1 §14 + Harel (1987) statechart
- Engine
- schematex-state
- Editable
- Double-click text, drag nodes
- Export
- SVG · PNG · PDF
利用者
DFAを描く人。
宿題や試験対策に。言語を1文で表し、オートマトンをページ上に描く。
スライドや解答用の見やすい図を作成。問題が変わっても数秒で描き直せる。
HDLを書く前に、MealyまたはMooreマシンとしてシーケンス検出器やコントローラを設計。
使い方
DFAの描き方を3ステップで。
01
説明する
まずは1段落で十分です。
“1の個数が偶数の文字列を受理する、{0, 1}上のDFA。状態はEvenとOddの2つ。Evenを開始状態かつ受理状態にする。”
02
図を確認
最適なエンジンで描画します。
03
変更点を伝える
編集のたびにバージョンを保存します。
1の個数が奇数の文字列を受理するように変更
V2 · DRAWN FROM V1, NOTHING RETYPEDよくある質問
よくある質問
DFAとは何ですか？
決定性有限オートマトンです。状態集合、アルファベット、各状態と各記号に対する1つの遷移、開始状態、受理状態の集合で構成されます。開始状態から文字列を読み終えたときに受理状態にいれば、その文字列を受理します。
DFAとNFAの違いは何ですか？
DFAでは、各状態に各記号につきちょうど1つの遷移があります。NFAでは複数または0個の遷移を持て、ε遷移も使えます。いずれかの経路が受理状態で終われば受理します。すべてのNFAは等価なDFAに変換できます。
NFA、Mealy、Mooreマシンを描けますか？
はい。希望する種類を指定してください。Mealyの遷移には入力/出力をラベル付けします。
遷移表から始められますか？
はい。表を貼り付け、どの状態が開始状態で、どれが受理状態かを指定してください。
開始状態と受理状態はどのように表示されますか？
開始状態には塗りつぶした点から入る矢印があり、各受理状態は図上で示されます。
アカウントは必要ですか？
無料で利用できます。カード情報は求められません。
関連ツール
