numStates

How many states this automaton has.