dfa edit