finished DFA convert