few more operations on example text edit automaton