let print_state st =
Format.print_string (" "^st.name^" (acc=");
print_bool3 st.acceptation ;
Format.print_string (";init=");
print_bool3 st.init;
Format.print_string (";num=");
Format.print_int st.nums;
Format.print_string (")\n")