Description

Output the automaton defined by the range [x, y) to the output stream out in a representation suitable as input to the command dot from GraphViz.
The second version of dot allows graphical customization through the DFA_dot object passed as first argument.