Provides the views and interface for the display of {@link automata.Automaton} objects. This is the basis on which the classes of {@link gui.editor} are built.