let getNumberOfTransitions () =
  List.length (snd !automata)