let getStateName num = List.fold_left (fun name st -> if st.nums=num then st.name else name) "" (fst !automata)