def test_minimisation_six(self):
my_dfa = ExampleDFA.ten()
my_dfa.state_minimisation()
self.assertEqual(
''.join(str(my_dfa.table_df).split()),
"01→test_s0test_s0{test_s1,test_s3}*test_s2test_s5test_s4*test_s4test_s4test_s5test_s5test_s5test_s2{test_s1,test_s3}test_s2{test_s1,test_s3}"
)
def test_unequivalence_simple_five(self):
my_dfa_a = ExampleDFA.eight()
my_dfa_b = ExampleDFA.ten()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), False)