List dot graph attributes more clearly.
Provide a maximum graph output size: 8x10".

This should fit somewhat sensibly in any PDF renderer or paper.
Display automaton source code in graphs.
Improved GraphViz attribute setting.