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