forked from ulyantsev/EFSM-tools
-
Notifications
You must be signed in to change notification settings - Fork 0
/
clock.sc
113 lines (76 loc) · 2.88 KB
/
clock.sc
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
T [1]; T [1]; T [1]; T [1]
z5; z5; z5; z5
A [1]; T [1]; T [1]; T [1]; T [1]
; z5; z5; z5; z5
A [1]; A [1]; A [1]; T [1]; T [1]; T [1]; T [1]
; ; z7; z5; z5; z5; z5
H [1]; H [1]; H [1]; H [1]
z1; z1; z1; z1
A [1]; H [1]; H [1]; H [1]; H [1]
; z3; z3; z3; z3
A [1]; A [1]; H [1]; H [1]; H [1]; H [1]
; ; z1; z1; z1; z1
A [1]; A [1]; A [1]; H [1]; H [1]; H [1]; H [1]
; ; z7; z1; z1; z1; z1
A [1]; A [1]; A [1]; A [1]; H [1]; H [1]; H [1]; H [1]
; ; z7; ; z3; z3; z3; z3
M [1]; M [1]; M [1]; M [1]
z2; z2; z2; z2
A [1]; M [1]; M [1]; M [1]; M [1]
; z4; z4; z4; z4
A [1]; A [1]; M [1]; M [1]; M [1]; M [1]
; ; z2; z2; z2; z2
A [1]; A [1]; A [1]; M [1]; M [1]; M [1]; M [1]
; ; z7; z2; z2; z2; z2
T [1]; M [1]; H [1]; T [1]; T [1]; T [1]; M [1]; T [1]; H [1]; H [1]; T [1]; M [1]
z5; z2; z1; z5; z5; z5; z2; z5; z1; z1; z5; z2
A [1]; T [1]; M [1]; H [1]; T [1]; T [1]; T [1]; M [1]; T [1]; H [1]; H [1]; T [1]; M [1]
; z5; z4; z3; z5; z5; z5; z4; z5; z3; z3; z5; z4
A [1]; T [1]; T [1]; M [1]; H [1]; T [1]; T [1]
; z5; z5; z4; z3; z5; z5
A [1]; A [1]; A [1]; A [1]; T [1]
; ; z7; ; z5
A [1]; A [1]; A [1]; A [1]; T [1]; T [1]; T [1]; T [1]
; ; z7; ; z5; z5; z5; z5
A [1]; A [1]; A [1]; A [1]; H [1]
; ; z7; ; z3
A [1]; A [1]; A [1]; A [1]; M [1]
; ; z7; ; z4
A [1]; A [1]; A [1]; A [1]; M [1]; M [1]; M [1]; M [1]
; ; z7; ; z4; z4; z4; z4
A [1]; A [1]; T [!x0 & !x1]; T [!x0 & !x1]; T [!x0 & !x1]
; ; z5; z5; z5
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]
; ; z5; z5, z6; z5, z7
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]
; ; z5; z5, z6
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; H [1]
; ; z5; z5, z6; z5, z7; z7; z1
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; M [1]
; ; z5; z5, z6; z5, z7; z7; z2
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; T [1]
; ; z5; z5, z6; z5, z7; z7; z5
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; H [1]
; ; z5; z5, z6; z5, z7; z1
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; M [1]
; ; z5; z5, z6; z5, z7; z2
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; T [!x0 & !x1]
; ; z5; z5, z6; z5, z7; z5
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; A [1]; H [1]
; ; z5; z5, z6; z5, z7; z7; ; z3
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; A [1]; M [1]
; ; z5; z5, z6; z5, z7; z7; ; z4
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; A [1]; T [1]
; ; z5; z5, z6; z5, z7; z7; ; z5
A [1]; A [1]; T [x0 & !x1]
; ; z5, z6
A [1]; A [1]; T [!x0 & x1]
; ; z5, z7
A [1]; A [1]; T [x0 & !x1]; T [!x0 & x1]
; ; z5, z6; z5, z7
A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; A [1]; A [1]; T [1]
; ; z5; z5, z6; z7; ; z5
A [1]; A [1]; T [!x0 & !x1]
; ; z5
A [1]; A [1]; T [!x0 & !x1]; M [1]; H [1]; T [!x0 & !x1]; T [!x0 & !x1]; T [!x0 & !x1]; M [1]; T [!x0 & !x1]; H [1]; H [1]; T [!x0 & !x1]; M [1]
; ; z5; z2; z1; z5; z5; z5; z2; z5; z1; z1; z5; z2