An editor for deterministic finite automata