Automata editor in your browser