Original: Infinite states : An automaton that may not have a finite number of states , or even a countable number of states .
Simplified: If the machine has a countable , finite number of states , it is called finite state machine .