dfa done