let getTransition num =
  List.find (fun trans -> trans.numt = num) (snd !automata)