next up previous contents
Next: Definition Up: Algorithms Previous: Prototype   Contents


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.

Vincent Le Maout 2003-07-08