let dot_trans out tr =
  fprintf
    out
    "  \"%s\" -> \"%s\" [ label = \"%s\"];\n"
    (string_of_state tr.start.nums)
    (string_of_state tr.stop.nums)
    (string_of_trans tr.numt tr.cross)