add Dfa