let dot_state out st =
  let shape =
    if st.init = Bool3.True && st.acceptation=Bool3.True then "doubleoctagon"
    else if st.acceptation=Bool3.True then "octagon"
    else if st.init=Bool3.True then "doublecircle"
    else "circle"
  in
  Format.fprintf out "\"%a\" [shape = %s];@\n" print_state_label st shape