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 )