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