dfa definition changed