-
Notifications
You must be signed in to change notification settings - Fork 2
/
tm-m1a.dot
26 lines (25 loc) · 1.45 KB
/
tm-m1a.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
digraph {
rankdir=LR;
node [fontname=Courier,fontsize=10,shape=box,style=rounded,height=0,width=0,margin="0.055,0.042"];
edge [arrowhead=vee,arrowsize=0.5,fontname=Courier,fontsize=9];
_START[shape=none,label=""];
0[peripheries=2,label=<accept>];
1[label=<q1>];
2[label=<M′>];
3[label=<M′>];
6[label=<q6>];
7[label=<q7>];
8[label=<q8>];
_START -> 1
1 -> 8[label=<<table border="0" cellpadding="1"><tr><td># → # ^</td></tr></table>>];
1 -> 3[label=<<table border="0" cellpadding="1"><tr><td>1 → x ^</td></tr></table>>];
1 -> 2[label=<<table border="0" cellpadding="1"><tr><td>0 → x ^</td></tr></table>>];
3 -> 6[label=<<table border="0" cellpadding="1"><tr><td>1 → ^ x</td></tr></table>>];
2 -> 6[label=<<table border="0" cellpadding="1"><tr><td>0 → ^ x</td></tr></table>>];
7 -> 1[label=<<table border="0" cellpadding="1"><tr><td>x → x ^</td></tr></table>>];
7 -> 7[label=<<table border="0" cellpadding="1"><tr><td>0 → ^ 0</td></tr><tr><td>1 → ^ 1</td></tr></table>>];
6 -> 7[label=<<table border="0" cellpadding="1"><tr><td># → ^ #</td></tr></table>>];
6 -> 6[label=<<table border="0" cellpadding="1"><tr><td>0 → ^ 0</td></tr><tr><td>1 → ^ 1</td></tr><tr><td>x → ^ x</td></tr></table>>];
8 -> 8[label=<<table border="0" cellpadding="1"><tr><td>x → x ^</td></tr></table>>];
8 -> 0[label=<<table border="0" cellpadding="1"><tr><td>_ → _ ^</td></tr></table>>];
}