added ability to generate automaton graph in .dot format