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:
|
digraph G {
graph [layout=dot rankdir=LR]
node [shape=none] qs [label=""]
node [shape=doublecircle] q3
node [shape=circle]
qs -> q0
q0 -> q1 [label="1"]
q1 -> q2 [label="0"]
q2 -> q3 [label="0"]
q0 -> q4 [label="0"]
q4 -> q2 [label="1"]
q4 -> q5 [label="0"]
q5 -> q3 [label="1"]
q1 -> qm [label="1"]
q2 -> qm [label="1"]
q3 -> qm [label="1"]
q3 -> qm [label="0"]
q5 -> qm [label="0"]
qm -> qm [label="0"]
qm -> qm [label="1"]
} |