有限オートマトン
これは、パーサー 有限オートマトンのおもちゃのような描画であり、おそらく Yacc によって生成されたものです。
rankdir=LR 属性は、横向きモードで左から右に描画することを要求します。エッジ上のテキストラベルの使用に注意してください。
計算はノード 0 から開始され、「accept state」ノードで終了します（二重丸で示されます）。
[入力 .gv ファイル] [SVG] [ラスターイメージ]
fsm.gv.txt
digraph finite_state_machine {
fontname="Helvetica,Arial,sans-serif"
node [fontname="Helvetica,Arial,sans-serif"]
edge [fontname="Helvetica,Arial,sans-serif"]
rankdir=LR;
node [shape = doublecircle]; 0 3 4 8;
node [shape = circle];
0 -> 2 [label = "SS(B)"];
0 -> 1 [label = "SS(S)"];
1 -> 3 [label = "S($end)"];
2 -> 6 [label = "SS(b)"];
2 -> 5 [label = "SS(a)"];
2 -> 4 [label = "S(A)"];
5 -> 7 [label = "S(b)"];
5 -> 5 [label = "S(a)"];
6 -> 6 [label = "S(b)"];
6 -> 5 [label = "S(a)"];
7 -> 8 [label = "S(b)"];
7 -> 5 [label = "S(a)"];
8 -> 6 [label = "S(b)"];
8 -> 5 [label = "S(a)"];
}Copyright © 1996-2004 AT&T. All rights reserved.