optimize abstracted DFA