Add TODO: ensure DFA has transition for each label in each state