-
Notifications
You must be signed in to change notification settings - Fork 0
/
automata Incomplgfeto4343
47 lines (47 loc) · 1.32 KB
/
automata Incomplgfeto4343
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
digraph {
rankdir=LR
node [shape=circle]
"{s0}"
node [shape=circle]
"{s3}"
node [shape=doublecircle]
"{s0,s1,s2,s6,s7}"
node [shape=doublecircle]
"{s0,s1,s6,s7}"
node [shape=circle]
"{s0,s1}"
node [shape=doublecircle]
"{s3,s4,s5}"
node [shape=circle]
"{s3,s4}"
node [shape=doublecircle]
"{s0,s1,s2}"
node [shape=ellipse]
"{s0}" -> "{s0,s1,s2,s6,s7}" [label=0]
"{s0}" -> "{s0,s1,s6,s7}" [label=1]
"{s0}" -> "{s0,s1}" [label=2]
"{s3}" -> "{s3}" [label=0]
"{s3}" -> "{}" [label=1]
"{s3}" -> "{s3,s4,s5}" [label=2]
"{s0,s1,s2,s6,s7}" -> "{s0,s1,s2,s6,s7}" [label=0]
"{s0,s1,s2,s6,s7}" -> "{s0,s1,s6,s7}" [label=1]
"{s0,s1,s2,s6,s7}" -> "{s0,s1,s2}" [label=2]
"{s0,s1,s6,s7}" -> "{s0,s1,s2,s6,s7}" [label=0]
"{s0,s1,s6,s7}" -> "{s0,s1,s6,s7}" [label=1]
"{s0,s1,s6,s7}" -> "{s0,s1,s2}" [label=2]
"{s0,s1}" -> "{s0,s1,s2,s6,s7}" [label=0]
"{s0,s1}" -> "{s0,s1,s6,s7}" [label=1]
"{s0,s1}" -> "{s0,s1}" [label=2]
"{s3,s4,s5}" -> "{s3,s4}" [label=0]
"{s3,s4,s5}" -> "{s3,s4}" [label=1]
"{s3,s4,s5}" -> "{s3,s4,s5}" [label=2]
"{s3,s4}" -> "{s3,s4}" [label=0]
"{s3,s4}" -> "{s3,s4}" [label=1]
"{s3,s4}" -> "{s3,s4,s5}" [label=2]
"{s0,s1,s2}" -> "{s0,s1,s2,s6,s7}" [label=0]
"{s0,s1,s2}" -> "{s0,s1,s6,s7}" [label=1]
"{s0,s1,s2}" -> "{s0,s1}" [label=2]
node [style=invis width=0]
start
start -> "{s0}" [style=bold]
}