dfa final