def test_bfs_one(self):
my_dfa = ExampleDFA.one()
self.assertEqual(my_dfa.bfs(), {
'S1': True,
'S2': True,
'S3': True,
'S4': True
})
def test_unequivalence_simple_one(self):
my_dfa_a = ExampleDFA.one()
my_dfa_b = ExampleDFA.two()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), False)
def test_equivalence_minimised_one(self):
my_dfa_a = ExampleDFA.one()
my_dfa_b = ExampleDFA.one()
my_dfa_b.state_minimisation()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), True)
def test_equivalence_simple_one(self):
my_dfa_a = ExampleDFA.one()
my_dfa_b = ExampleDFA.one()
self.assertEqual(my_dfa_a.equivalence_test(my_dfa_b), True)