有限狀態自動機
這是一個玩具剖析器有限狀態自動機的繪圖，可能由 Yacc 產生。
rankdir=LR 屬性要求從左到右繪製，以橫向模式定向。請注意邊緣上文字標籤的使用。
計算從節點 0 開始，並在以雙圓圈標記的「接受狀態」節點結束。
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. 保留所有權利。