let getState num = List.find (fun st -> st.nums = num) (fst !automata)