some automata editting