Returns the dot (graphviz) representation of this automaton. This is extremely useful for visualizing the automaton.