added dfa