dfaref.dot

一个类似STL的自动机的源代码库

digraph G {
ratio=0.75;
concentrate=FALSE;
rankdir=LR;
ranksep=0.75;
1 [shape=circle,style=bold,fontsize=14];
2 [shape=circle,fontsize=14];
1 -> 2 [label="a",fontsize=14];
3 [shape=circle,style=bold,fontsize=14];
2 -> 3 [label="b",fontsize=14];
3 -> 2 [label="c",fontsize=14];
4 [shape=circle,fontsize=14];
3 -> 4 [label="e",fontsize=14];
5 [shape=circle,fontsize=14];
4 -> 5 [label="f",fontsize=14];
6 [shape=circle,fontsize=14];
5 -> 6 [label="g",fontsize=14];
7 [shape=circle,style=bold,fontsize=14];
6 -> 7 [label="h",fontsize=14];
8 [shape=circle,fontsize=14];
6 -> 8 [label="i",fontsize=14];
9 [shape=circle,style=bold,fontsize=14];
6 -> 9 [label="j",fontsize=14];
10 [shape=circle,fontsize=14];
6 -> 10 [label="k",fontsize=14];
11 [shape=circle,style=bold,fontsize=14];
5 -> 11 [label="h",fontsize=14];
12 [shape=circle,style=bold,fontsize=14];
4 -> 12 [label="i",fontsize=14];
13 [shape=circle,fontsize=14];
12 -> 13 [label="j",fontsize=14];
14 [shape=circle,fontsize=14];
3 -> 14 [label="k",fontsize=14];
15 [shape=circle,fontsize=14];
14 -> 15 [label="l",fontsize=14];
16 [shape=circle,style=bold,fontsize=14];
15 -> 16 [label="m",fontsize=14];
17 [shape=circle,fontsize=14];
16 -> 17 [label="n",fontsize=14];
18 [shape=circle,style=bold,fontsize=14];
17 -> 18 [label="p",fontsize=14];
18 -> 18 [label="q",fontsize=14];
15 -> 17 [label="o",fontsize=14];
19 [shape=circle,fontsize=14];
14 -> 19 [label="r",fontsize=14];
20 [shape=circle,fontsize=14];
19 -> 20 [label="s",fontsize=14];
20 -> 17 [label="t",fontsize=14];
21 [shape=circle,style=bold,fontsize=14];
3 -> 21 [label="u",fontsize=14];
21 -> 21 [label="v",fontsize=14];
21 -> 21 [label="w",fontsize=14];
22 [shape=circle,fontsize=14];
21 -> 22 [label="x",fontsize=14];
23 [shape=circle,fontsize=14];
22 -> 23 [label="y",fontsize=14];
24 [shape=circle,fontsize=14];
23 -> 24 [label="z",fontsize=14];
25 [shape=circle,style=bold,fontsize=14];
24 -> 25 [label="a",fontsize=14];
25 -> 22 [label="b",fontsize=14];
26 [shape=circle,fontsize=14];
25 -> 26 [label="c",fontsize=14];
27 [shape=circle,fontsize=14];
26 -> 27 [label="d",fontsize=14];
28 [shape=circle,style=bold,fontsize=14];
27 -> 28 [label="e",fontsize=14];
29 [shape=circle,fontsize=14];
28 -> 29 [label="f",fontsize=14];
29 -> 25 [label="g",fontsize=14];
1 -> 1 [label="b",fontsize=14];
1 -> 4 [label="d",fontsize=14];
1 [shape=doublecircle];
}