add DFA