erase redundant transitions in the final DFA