let getNumberOfStates () =
  List.length (fst !automata)