def test_complete_when_dfa_is_not_complete(self):
"""Test that when we try to make complete a non-complete SimpleDFA
then the returned SimpleDFA is complete."""
dfa = SimpleDFA(
{"q0", "q1"},
MapAlphabet({"a", "b"}),
"q0",
set(),
{"q0": {"a": "q0", "b": "q1"}},
)
expected_dfa = SimpleDFA(
{"q0", "q1", "sink"},
MapAlphabet({"a", "b"}),
"q0",
set(),
{
"q0": {"a": "q0", "b": "q1"},
"q1": {"a": "sink", "b": "sink"},
"sink": {"a": "sink", "b": "sink"},
},
)
actual_dfa = dfa.complete()
assert actual_dfa == expected_dfa
def test_complete_when_dfa_is_already_complete(self):
"""Test that when we try to make complete an already complete SimpleDFA
then the returned SimpleDFA is equal to the previous one."""
complete_dfa = SimpleDFA(
{"q"}, MapAlphabet({"a"}), "q", set(), {"q": {"a": "q"}}
)
new_dfa = complete_dfa.complete()
assert complete_dfa == new_dfa
