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