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