def test_unequivalence_simple_three(self):
my_dfa_a = ExampleDFA.five()
my_dfa_b = ExampleDFA.six()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), False)
def test_minimisation_one(self):
my_dfa = ExampleDFA.five()
my_dfa.state_minimisation()
self.assertEqual(
''.join(str(my_dfa.table_df).split()),
"ab→12{3,5}2{4,6}{3,5}*7{4,6}7{3,5}{4,6}7*{4,6}{4,6}{3,5}")
def test_equivalence_minimised_three(self):
my_dfa_a = ExampleDFA.five()
my_dfa_b = ExampleDFA.five()
my_dfa_b.state_minimisation()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), True)