Update DFA