add dfa