def test_minimisation_two(self):
my_dfa = ExampleDFA.six()
my_dfa.state_minimisation()
self.assertEqual(''.join(str(my_dfa.table_df).split()),
"abq1q1q3q3q1q4*q4q1{q0,q2}→{q0,q2}q1{q0,q2}")
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)
def test_equivalence_minimised_four(self):
my_dfa_a = ExampleDFA.six()
my_dfa_b = ExampleDFA.six()
my_dfa_b.state_minimisation()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), True)
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_equivalence_simple_four(self):
my_dfa_a = ExampleDFA.six()
my_dfa_b = ExampleDFA.six()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), True)