let dot_state out st =
  if st.init=Bool3.True && st.acceptation=Bool3.True then
    fprintf out "  \"%s\" [shape = doubleoctagon];\n" (string_of_state st.nums)
  else if st.acceptation=Bool3.True then
    fprintf out "  \"%s\" [shape = octagon];\n" (string_of_state st.nums )
  else if st.init=Bool3.True then
    fprintf out "  \"%s\" [shape = doublecircle];\n" (string_of_state st.nums )
  else
    fprintf out "  \"%s\" [shape = circle];\n" (string_of_state st.nums )