Original: Note , however , that , in general , an automaton need 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 .