add dfa2dfa