def test_minimisation_three(self):
my_dfa = ExampleDFA.seven()
my_dfa.state_minimisation()
self.assertEqual(
''.join(str(my_dfa.table_df).split()),
"rb→ABCB{D,E}{D,E}C{D,E}F*F{D,E}C*G{D,E}G{D,E}{D,E}G")
def test_unequivalence_simple_four(self):
my_dfa_a = ExampleDFA.six()
my_dfa_b = ExampleDFA.seven()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), False)