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