def test_is_complete_when_dfa_is_not_complete(self):
"""Test that the is_complete method return False if the SimpleDFA is not complete."""
dfa = SimpleDFA(
{"q0", "q1"},
MapAlphabet({"a", "b"}),
"q0",
set(),
{"q0": {"a": "q0", "b": "q1"}},
)
assert not dfa.is_complete()
def test_even_01_automaton():
"""Test the even-01 automaton in the documentation."""
states = {"q0", "q1", "q2", "q3"}
alphabet = {"0", "1"}
initial_state = "q0"
accepting_states = {"q0"}
transition_function = {
"q0": {
"0": "q2",
"1": "q1"
},
"q1": {
"0": "q3",
"1": "q0"
},
"q2": {
"0": "q0",
"1": "q3"
},
"q3": {
"0": "q1",
"1": "q2"
},
}
automaton = SimpleDFA(
states=states,
alphabet=alphabet,
initial_state=initial_state,
accepting_states=accepting_states,
transition_function=transition_function,
)
assert automaton.is_complete()
assert automaton.accepts("") # True
assert not automaton.accepts("0") # False - only one '0'
assert not automaton.accepts("1") # False - only one '1'
assert automaton.accepts("00") # True
assert automaton.accepts("11") # True
assert automaton.accepts("01" * 42) # True
def test_is_complete_when_dfa_is_complete(self):
"""Test that the is_complete method return True if the SimpleDFA is complete."""
dfa = SimpleDFA({"q"}, MapAlphabet({"a"}), "q", set(), {"q": {"a": "q"}})
assert dfa.is_complete()