editing of DFA explanation