dfa minimization, and graphviz