First pass at graphing DFA's with graphviz