-
Notifications
You must be signed in to change notification settings - Fork 0
/
output5.txt
260 lines (242 loc) · 10.3 KB
/
output5.txt
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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
E-closure(I0) = {1,17,7,16} = 1
Mark 1
{1,17,7,16} --a--> {11,10,2,20,14,1}
E-closure{11,10,2,20,14,1} = {11,10,20,14,17,16,1,2,7} = 2
{1,17,7,16} --b--> {19,3,2,17,16}
E-closure{19,3,2,17,16} = {3,2,17,7,16,19} = 3
{1,17,7,16} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{1,17,7,16} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{1,17,7,16} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{1,17,7,16} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 2
{11,10,20,14,17,16,1,2,7} --a--> {11,10,2,20,14,1}
E-closure{11,10,2,20,14,1} = {11,10,20,14,17,16,1,2,7} = 2
{11,10,20,14,17,16,1,2,7} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{11,10,20,14,17,16,1,2,7} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{11,10,20,14,17,16,1,2,7} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{11,10,20,14,17,16,1,2,7} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{11,10,20,14,17,16,1,2,7} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 3
{3,2,17,7,16,19} --a--> {11,10,1,5,14,20}
E-closure{11,10,1,5,14,20} = {11,10,20,14,17,16,1,5,7} = 9
{3,2,17,7,16,19} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{3,2,17,7,16,19} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{3,2,17,7,16,19} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{3,2,17,7,16,19} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{3,2,17,7,16,19} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 4
{3,4,7,6,16,17} --a--> {11,10,1,5,14,6,20}
E-closure{11,10,1,5,14,6,20} = {11,10,20,14,17,16,1,5,7,6} = 10
{3,4,7,6,16,17} --b--> {19,3,2,17,16}
E-closure{19,3,2,17,16} = {3,2,17,7,16,19} = 3
{3,4,7,6,16,17} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{3,4,7,6,16,17} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{3,4,7,6,16,17} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{3,4,7,6,16,17} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 5
{13,12,7,17,16,9,2} --a--> {11,10,1,20,14}
E-closure{11,10,1,20,14} = {11,10,20,14,17,16,1,7} = 11
{13,12,7,17,16,9,2} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{13,12,7,17,16,9,2} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{13,12,7,17,16,9,2} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{13,12,7,17,16,9,2} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{13,12,7,17,16,9,2} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 6
{10,17,16,1,3,2,5,4,7,6} --a--> {11,10,20,14,1,2,5,6}
E-closure{11,10,20,14,1,2,5,6} = {11,10,20,14,17,16,1,2,5,7,6} = 12
{10,17,16,1,3,2,5,4,7,6} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{10,17,16,1,3,2,5,4,7,6} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{10,17,16,1,3,2,5,4,7,6} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{10,17,16,1,3,2,5,4,7,6} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{10,17,16,1,3,2,5,4,7,6} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 7
{13,20,17,16,1,7,9,8} --a--> {11,10,2,20,14,1}
E-closure{11,10,2,20,14,1} = {11,10,20,14,17,16,1,2,7} = 2
{13,20,17,16,1,7,9,8} --b--> {3,2,20,17,16,19}
E-closure{3,2,20,17,16,19} = {3,2,20,17,7,16,19} = 13
{13,20,17,16,1,7,9,8} --c--> {3,4,14,6}
E-closure{3,4,14,6} = {3,4,7,6,16,17,14} = 14
{13,20,17,16,1,7,9,8} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{13,20,17,16,1,7,9,8} --e--> {10,20,17,16,19,1,3,2,5,4,7,6}
E-closure{10,20,17,16,19,1,3,2,5,4,7,6} = {10,20,17,16,19,1,3,2,5,4,7,6} = 15
{13,20,17,16,1,7,9,8} --f--> {11,13,20,9,8}
E-closure{11,13,20,9,8} = {11,13,20,17,16,1,7,9,8} = 16
Mark 8
{3,2,4,17,16,19,7} --a--> {11,10,1,5,14,6,20}
E-closure{11,10,1,5,14,6,20} = {11,10,20,14,17,16,1,5,7,6} = 10
{3,2,4,17,16,19,7} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{3,2,4,17,16,19,7} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{3,2,4,17,16,19,7} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{3,2,4,17,16,19,7} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{3,2,4,17,16,19,7} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 9
{11,10,20,14,17,16,1,5,7} --a--> {11,10,2,20,14,6,1}
E-closure{11,10,2,20,14,6,1} = {11,10,20,14,17,16,1,2,7,6} = 17
{11,10,20,14,17,16,1,5,7} --b--> {3,2,17,16,19}
E-closure{3,2,17,16,19} = {3,2,17,7,16,19} = 3
{11,10,20,14,17,16,1,5,7} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{11,10,20,14,17,16,1,5,7} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{11,10,20,14,17,16,1,5,7} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{11,10,20,14,17,16,1,5,7} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 10
{11,10,20,14,17,16,1,5,7,6} --a--> {11,10,2,20,14,6,1}
E-closure{11,10,2,20,14,6,1} = {11,10,20,14,17,16,1,2,7,6} = 17
{11,10,20,14,17,16,1,5,7,6} --b--> {19,3,2,17,16}
E-closure{19,3,2,17,16} = {3,2,17,7,16,19} = 3
{11,10,20,14,17,16,1,5,7,6} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{11,10,20,14,17,16,1,5,7,6} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{11,10,20,14,17,16,1,5,7,6} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{11,10,20,14,17,16,1,5,7,6} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 11
{11,10,20,14,17,16,1,7} --a--> {11,10,2,20,14,1}
E-closure{11,10,2,20,14,1} = {11,10,20,14,17,16,1,2,7} = 2
{11,10,20,14,17,16,1,7} --b--> {3,2,17,16,19}
E-closure{3,2,17,16,19} = {3,2,17,7,16,19} = 3
{11,10,20,14,17,16,1,7} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{11,10,20,14,17,16,1,7} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{11,10,20,14,17,16,1,7} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{11,10,20,14,17,16,1,7} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 12
{11,10,20,14,17,16,1,2,5,7,6} --a--> {11,10,2,20,14,6,1}
E-closure{11,10,2,20,14,6,1} = {11,10,20,14,17,16,1,2,7,6} = 17
{11,10,20,14,17,16,1,2,5,7,6} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{11,10,20,14,17,16,1,2,5,7,6} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{11,10,20,14,17,16,1,2,5,7,6} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{11,10,20,14,17,16,1,2,5,7,6} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{11,10,20,14,17,16,1,2,5,7,6} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 13
{3,2,20,17,7,16,19} --a--> {11,10,1,5,14,20}
E-closure{11,10,1,5,14,20} = {11,10,20,14,17,16,1,5,7} = 9
{3,2,20,17,7,16,19} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{3,2,20,17,7,16,19} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{3,2,20,17,7,16,19} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{3,2,20,17,7,16,19} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{3,2,20,17,7,16,19} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 14
{3,4,7,6,16,17,14} --a--> {11,10,1,5,14,6,20}
E-closure{11,10,1,5,14,6,20} = {11,10,20,14,17,16,1,5,7,6} = 10
{3,4,7,6,16,17,14} --b--> {19,3,2,17,16}
E-closure{19,3,2,17,16} = {3,2,17,7,16,19} = 3
{3,4,7,6,16,17,14} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{3,4,7,6,16,17,14} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{3,4,7,6,16,17,14} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{3,4,7,6,16,17,14} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 15
{10,20,17,16,19,1,3,2,5,4,7,6} --a--> {11,10,20,14,1,2,5,6}
E-closure{11,10,20,14,1,2,5,6} = {11,10,20,14,17,16,1,2,5,7,6} = 12
{10,20,17,16,19,1,3,2,5,4,7,6} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{10,20,17,16,19,1,3,2,5,4,7,6} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{10,20,17,16,19,1,3,2,5,4,7,6} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{10,20,17,16,19,1,3,2,5,4,7,6} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{10,20,17,16,19,1,3,2,5,4,7,6} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Mark 16
{11,13,20,17,16,1,7,9,8} --a--> {11,10,2,20,14,1}
E-closure{11,10,2,20,14,1} = {11,10,20,14,17,16,1,2,7} = 2
{11,13,20,17,16,1,7,9,8} --b--> {3,2,20,17,16,19}
E-closure{3,2,20,17,16,19} = {3,2,20,17,7,16,19} = 13
{11,13,20,17,16,1,7,9,8} --c--> {3,4,14,6}
E-closure{3,4,14,6} = {3,4,7,6,16,17,14} = 14
{11,13,20,17,16,1,7,9,8} --d--> {9,2,13,12}
E-closure{9,2,13,12} = {13,2,7,17,16,9,12} = 5
{11,13,20,17,16,1,7,9,8} --e--> {10,20,17,16,19,1,3,2,5,4,7,6}
E-closure{10,20,17,16,19,1,3,2,5,4,7,6} = {10,20,17,16,19,1,3,2,5,4,7,6} = 15
{11,13,20,17,16,1,7,9,8} --f--> {11,13,20,9,8}
E-closure{11,13,20,9,8} = {11,13,20,17,16,1,7,9,8} = 16
Mark 17
{11,10,20,14,17,16,1,2,7,6} --a--> {11,10,2,20,14,6,1}
E-closure{11,10,2,20,14,6,1} = {11,10,20,14,17,16,1,2,7,6} = 17
{11,10,20,14,17,16,1,2,7,6} --b--> {3,2,4,17,16,19}
E-closure{3,2,4,17,16,19} = {3,2,4,17,16,19,7} = 8
{11,10,20,14,17,16,1,2,7,6} --c--> {3,4,6}
E-closure{3,4,6} = {3,4,7,6,16,17} = 4
{11,10,20,14,17,16,1,2,7,6} --d--> {9,12,13,2}
E-closure{9,12,13,2} = {13,12,7,17,16,9,2} = 5
{11,10,20,14,17,16,1,2,7,6} --e--> {10,17,1,3,2,5,4,7,6}
E-closure{10,17,1,3,2,5,4,7,6} = {10,17,16,1,3,2,5,4,7,6} = 6
{11,10,20,14,17,16,1,2,7,6} --f--> {8,20}
E-closure{8,20} = {13,20,17,16,1,7,9,8} = 7
Initial State: {1}
Final States: {4,5,6,8,9,10,12,14,15,17}
State a b c d e f
1 {2} {3} {4} {5} {6} {7}
2 {2} {8} {4} {5} {6} {7}
3 {9} {8} {4} {5} {6} {7}
4 {10} {3} {4} {5} {6} {7}
5 {11} {8} {4} {5} {6} {7}
6 {12} {8} {4} {5} {6} {7}
7 {2} {13} {14} {5} {15} {16}
8 {10} {8} {4} {5} {6} {7}
9 {17} {3} {4} {5} {6} {7}
10 {17} {3} {4} {5} {6} {7}
11 {2} {3} {4} {5} {6} {7}
12 {17} {8} {4} {5} {6} {7}
13 {9} {8} {4} {5} {6} {7}
14 {10} {3} {4} {5} {6} {7}
15 {12} {8} {4} {5} {6} {7}
16 {2} {13} {14} {5} {15} {16}
17 {17} {8} {4} {5} {6} {7}