-
Notifications
You must be signed in to change notification settings - Fork 0
/
automata In45435completo
76 lines (76 loc) · 1.35 KB
/
automata In45435completo
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
digraph {
rankdir=LR
node [shape=circle]
s0
node [shape=circle]
s1
node [shape=doublecircle]
s2
node [shape=circle]
s3
node [shape=circle]
s4
node [shape=doublecircle]
s5
node [shape=circle]
s6
node [shape=doublecircle]
s7
node [shape=ellipse]
s0 -> s0 [label=0]
s0 -> s1 [label=0]
s0 -> s2 [label=0]
s0 -> s6 [label=0]
s0 -> s7 [label=0]
s0 -> s0 [label=1]
s0 -> s1 [label=1]
s0 -> s6 [label=1]
s0 -> s7 [label=1]
s0 -> s0 [label=2]
s0 -> s1 [label=2]
s1 -> s0 [label=0]
s1 -> s1 [label=0]
s1 -> s2 [label=0]
s1 -> s6 [label=0]
s1 -> s7 [label=0]
s1 -> s0 [label=2]
s1 -> s1 [label=2]
s3 -> s3 [label=0]
s3 -> s3 [label=2]
s3 -> s4 [label=2]
s3 -> s5 [label=2]
s4 -> s3 [label=0]
s4 -> s4 [label=0]
s4 -> s3 [label=1]
s4 -> s4 [label=1]
s4 -> s3 [label=2]
s4 -> s4 [label=2]
s4 -> s5 [label=2]
s6 -> s0 [label=0]
s6 -> s1 [label=0]
s6 -> s2 [label=0]
s6 -> s6 [label=0]
s6 -> s7 [label=0]
s6 -> s0 [label=1]
s6 -> s1 [label=1]
s6 -> s6 [label=1]
s6 -> s7 [label=1]
s6 -> s0 [label=2]
s6 -> s1 [label=2]
s6 -> s2 [label=2]
s7 -> s0 [label=0]
s7 -> s1 [label=0]
s7 -> s2 [label=0]
s7 -> s6 [label=0]
s7 -> s7 [label=0]
s7 -> s0 [label=1]
s7 -> s1 [label=1]
s7 -> s6 [label=1]
s7 -> s7 [label=1]
s7 -> s0 [label=2]
s7 -> s1 [label=2]
s7 -> s2 [label=2]
node [style=invis width=0]
start
start -> s0 [style=bold]
}