DOT printer for dfa