def test_bfs_two(self): my_dfa = ExampleDFA.two() self.assertEqual(my_dfa.bfs(), {'A': True, 'B': 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)