def test_minimisation_five(self):
my_dfa = ExampleDFA.nine()
my_dfa.state_minimisation()
self.assertEqual(
''.join(str(my_dfa.table_df).split()),
"01S_1S_6S_23S_2S_22S_20S_6S_16S_7S_7S_23S_18→S_12S_12S_21S_13S_7S_19S_16S_20S_13S_18S_22S_18S_19S_1S_23*S_20S_12S_1S_21S_2S_20S_22S_1S_2S_23S_21S_1"
)
def test_unequivalence_simple_two(self):
my_dfa_a = ExampleDFA.three()
my_dfa_b = ExampleDFA.nine()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), False)