Skip to content

Commit bc21c99

Browse files
MarcG-TUEMarcG-TUE
committed
test outcomes
1 parent 4032690 commit bc21c99

File tree

14 files changed

+250
-247
lines changed

14 files changed

+250
-247
lines changed

‎packages/.gitignore‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
__pycache__
2+
*.egg-info
3+
build

‎packages/finitestateautomata/finitestateautomata/tests/output/ExampleLTL.json‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,18 +3,18 @@
33
"_states": "[((S1,A0),F0), ((S2,A0),F0), ((S2,A1),F0)]",
44
"_transitions": {
55
"((S1,A0),F0)": {
6-
"a": "[((S2,A1),F0)]",
7-
"b": "[((S2,A1),F0)]",
6+
"d": "[((S1,A0),F0), ((S2,A1),F0)]",
87
"c": "[((S1,A0),F0), ((S2,A1),F0)]",
9-
"d": "[((S1,A0),F0), ((S2,A1),F0)]"
8+
"a": "[((S2,A1),F0)]",
9+
"b": "[((S2,A1),F0)]"
1010
},
11-
"((S2,A0),F0)": {
11+
"((S2,A1),F0)": {
1212
"d": "[((S1,A0),F0), ((S2,A1),F0)]",
1313
"c": "[((S1,A0),F0), ((S2,A1),F0)]",
1414
"a": "[((S2,A1),F0)]",
1515
"b": "[((S2,A1),F0)]"
1616
},
17-
"((S2,A1),F0)": {
17+
"((S2,A0),F0)": {
1818
"d": "[((S1,A0),F0), ((S2,A1),F0)]",
1919
"c": "[((S1,A0),F0), ((S2,A1),F0)]",
2020
"a": "[((S2,A1),F0)]",

‎packages/finitestateautomata/finitestateautomata/tests/output/ExampleOmegaRegEx.json‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2,25 +2,25 @@
22
"convert_to_NBA": {
33
"_states": "[S, S1, S11, S111, S12, S2, S21, S3, S4]",
44
"_transitions": {
5-
"S2": {
6-
"d": "[S11]"
7-
},
85
"S": {
96
"c": "[S1]"
107
},
11-
"S21": {
12-
"b": "[S111]"
8+
"S2": {
9+
"d": "[S11]"
1310
},
1411
"S4": {
1512
"a": "[S12]"
13+
},
14+
"S21": {
15+
"b": "[S111]"
1616
}
1717
},
1818
"_epsilonTransitions": {
1919
"S3": "[S, S2, S21, S4]",
20-
"S1": "[S3]",
2120
"S11": "[S3]",
22-
"S111": "[S21, S4]",
23-
"S12": "[S21, S4]"
21+
"S1": "[S3]",
22+
"S12": "[S21, S4]",
23+
"S111": "[S21, S4]"
2424
},
2525
"_initialStates": "[S3]",
2626
"_finalStates": "[S111, S12]",

‎packages/finitestateautomata/finitestateautomata/tests/output/fsa_CoffeeMachineDFA.json‎

Lines changed: 49 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -160,54 +160,6 @@
160160
"_finalStates": "[(A,A), (A,J), (J,A), (J,J)]",
161161
"_generalizedAcceptanceSets": {}
162162
},
163-
"eliminateEpsilon": {
164-
"_states": "[A, B, C, D, E, F, G, H, I, J]",
165-
"_transitions": {
166-
"A": {
167-
"s": "[B]",
168-
"h": "[D]"
169-
},
170-
"B": {
171-
"a": "[C]",
172-
"b": "[A]",
173-
"t": "[A]",
174-
"h": "[E]"
175-
},
176-
"C": {
177-
"b": "[B]",
178-
"t": "[A]",
179-
"h": "[F]"
180-
},
181-
"D": {
182-
"t": "[A]",
183-
"s": "[E]"
184-
},
185-
"E": {
186-
"b": "[D]",
187-
"t": "[A]",
188-
"a": "[F]",
189-
"m": "[G]"
190-
},
191-
"F": {
192-
"b": "[E]",
193-
"t": "[A]"
194-
},
195-
"G": {
196-
"p": "[I]",
197-
"d": "[H]"
198-
},
199-
"H": {
200-
"p": "[J]"
201-
},
202-
"I": {
203-
"d": "[J]"
204-
}
205-
},
206-
"_epsilonTransitions": {},
207-
"_initialStates": "[A]",
208-
"_finalStates": "[A, J]",
209-
"_generalizedAcceptanceSets": {}
210-
},
211163
"minimize": {
212164
"_states": "[{A}, {B}, {C}, {D}, {E}, {F}, {G}, {H}, {I}, {J}]",
213165
"_transitions": {
@@ -1015,5 +967,53 @@
1015967
"_finalStates": "[S, {B}, {C}, {D}, {E}, {F}, {G}, {H}, {I}]",
1016968
"_generalizedAcceptanceSets": {}
1017969
},
1018-
"languageIncluded": "[True, None]"
970+
"languageIncluded": "[True, None]",
971+
"eliminateEpsilon": {
972+
"_states": "[A, B, C, D, E, F, G, H, I, J]",
973+
"_transitions": {
974+
"A": {
975+
"s": "[B]",
976+
"h": "[D]"
977+
},
978+
"B": {
979+
"a": "[C]",
980+
"b": "[A]",
981+
"t": "[A]",
982+
"h": "[E]"
983+
},
984+
"C": {
985+
"b": "[B]",
986+
"t": "[A]",
987+
"h": "[F]"
988+
},
989+
"D": {
990+
"t": "[A]",
991+
"s": "[E]"
992+
},
993+
"E": {
994+
"b": "[D]",
995+
"t": "[A]",
996+
"a": "[F]",
997+
"m": "[G]"
998+
},
999+
"F": {
1000+
"b": "[E]",
1001+
"t": "[A]"
1002+
},
1003+
"G": {
1004+
"p": "[I]",
1005+
"d": "[H]"
1006+
},
1007+
"H": {
1008+
"p": "[J]"
1009+
},
1010+
"I": {
1011+
"d": "[J]"
1012+
}
1013+
},
1014+
"_epsilonTransitions": {},
1015+
"_initialStates": "[A]",
1016+
"_finalStates": "[A, J]",
1017+
"_generalizedAcceptanceSets": {}
1018+
}
10191019
}

‎packages/finitestateautomata/finitestateautomata/tests/output/fsa_ExampleFSA.json‎

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -46,26 +46,6 @@
4646
"_finalStates": "[(S_1,S_1), (S_1,S_2), (S_2,S_1), (S_2,S_2)]",
4747
"_generalizedAcceptanceSets": {}
4848
},
49-
"eliminateEpsilon": {
50-
"_states": "[S_0, S_1, S_2]",
51-
"_transitions": {
52-
"S_0": {
53-
"a": "[S_1]"
54-
},
55-
"S_1": {
56-
"a": "[S_0, S_1]",
57-
"b": "[S_0]"
58-
},
59-
"S_2": {
60-
"a": "[S_2]",
61-
"b": "[S_2]"
62-
}
63-
},
64-
"_epsilonTransitions": {},
65-
"_initialStates": "[S_0]",
66-
"_finalStates": "[S_1, S_2]",
67-
"_generalizedAcceptanceSets": {}
68-
},
6949
"minimize": {
7050
"_states": "[{S_0}, {S_1}]",
7151
"_transitions": {
@@ -292,5 +272,25 @@
292272
"_initialStates": "[{S_0}]",
293273
"_finalStates": "[S, {S_0}]",
294274
"_generalizedAcceptanceSets": {}
275+
},
276+
"eliminateEpsilon": {
277+
"_states": "[S_0, S_1, S_2]",
278+
"_transitions": {
279+
"S_0": {
280+
"a": "[S_1]"
281+
},
282+
"S_1": {
283+
"a": "[S_0, S_1]",
284+
"b": "[S_0]"
285+
},
286+
"S_2": {
287+
"a": "[S_2]",
288+
"b": "[S_2]"
289+
}
290+
},
291+
"_epsilonTransitions": {},
292+
"_initialStates": "[S_0]",
293+
"_finalStates": "[S_1, S_2]",
294+
"_generalizedAcceptanceSets": {}
295295
}
296296
}

‎packages/finitestateautomata/finitestateautomata/tests/output/fsa_GNBA.json‎

Lines changed: 35 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -96,41 +96,6 @@
9696
"_finalStates": "",
9797
"_generalizedAcceptanceSets": {}
9898
},
99-
"eliminateEpsilon": {
100-
"_states": "[A, B, C, D, E, F]",
101-
"_transitions": {
102-
"A": {
103-
"p1": "[A, D]",
104-
"r2": "[A, D]",
105-
"np1": "[B, E]"
106-
},
107-
"B": {
108-
"r1": "[A]",
109-
"r2": "[C, F]"
110-
},
111-
"C": {
112-
"p2": "[C, F]",
113-
"r1": "[C]",
114-
"np2": "[B, E]"
115-
},
116-
"D": {
117-
"r2": "[D]",
118-
"p1": "[D]",
119-
"np1": "[E]"
120-
},
121-
"E": {
122-
"r2": "[F]"
123-
},
124-
"F": {
125-
"np2": "[E]",
126-
"p2": "[F]"
127-
}
128-
},
129-
"_epsilonTransitions": {},
130-
"_initialStates": "[B]",
131-
"_finalStates": "",
132-
"_generalizedAcceptanceSets": {}
133-
},
13499
"minimize": {
135100
"_states": "",
136101
"_transitions": {},
@@ -1884,5 +1849,40 @@
18841849
"_initialStates": "[{B}]",
18851850
"_finalStates": "[S, {A,D}, {A}, {B,E}, {B}, {C,F}, {C}]",
18861851
"_generalizedAcceptanceSets": {}
1852+
},
1853+
"eliminateEpsilon": {
1854+
"_states": "[A, B, C, D, E, F]",
1855+
"_transitions": {
1856+
"A": {
1857+
"p1": "[A, D]",
1858+
"r2": "[A, D]",
1859+
"np1": "[B, E]"
1860+
},
1861+
"B": {
1862+
"r1": "[A]",
1863+
"r2": "[C, F]"
1864+
},
1865+
"C": {
1866+
"p2": "[C, F]",
1867+
"r1": "[C]",
1868+
"np2": "[B, E]"
1869+
},
1870+
"D": {
1871+
"r2": "[D]",
1872+
"p1": "[D]",
1873+
"np1": "[E]"
1874+
},
1875+
"E": {
1876+
"r2": "[F]"
1877+
},
1878+
"F": {
1879+
"np2": "[E]",
1880+
"p2": "[F]"
1881+
}
1882+
},
1883+
"_epsilonTransitions": {},
1884+
"_initialStates": "[B]",
1885+
"_finalStates": "",
1886+
"_generalizedAcceptanceSets": {}
18871887
}
18881888
}

‎packages/finitestateautomata/finitestateautomata/tests/output/fsa_GNBA_two.json‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -22,21 +22,6 @@
2222
"_finalStates": "",
2323
"_generalizedAcceptanceSets": {}
2424
},
25-
"eliminateEpsilon": {
26-
"_states": "[S0, S1]",
27-
"_transitions": {
28-
"S0": {
29-
"a": "[S1]"
30-
},
31-
"S1": {
32-
"b": "[S0]"
33-
}
34-
},
35-
"_epsilonTransitions": {},
36-
"_initialStates": "[S0, S1]",
37-
"_finalStates": "",
38-
"_generalizedAcceptanceSets": {}
39-
},
4025
"minimize": {
4126
"_states": "",
4227
"_transitions": {},
@@ -212,5 +197,20 @@
212197
"_initialStates": "[{S0,S1}]",
213198
"_finalStates": "[S, {S0,S1}, {S0}, {S1}]",
214199
"_generalizedAcceptanceSets": {}
200+
},
201+
"eliminateEpsilon": {
202+
"_states": "[S0, S1]",
203+
"_transitions": {
204+
"S0": {
205+
"a": "[S1]"
206+
},
207+
"S1": {
208+
"b": "[S0]"
209+
}
210+
},
211+
"_epsilonTransitions": {},
212+
"_initialStates": "[S0, S1]",
213+
"_finalStates": "",
214+
"_generalizedAcceptanceSets": {}
215215
}
216216
}

0 commit comments

Comments
 (0)