update DFA construct code