Note , however , that , in general , an automaton need not have a finite number of states , or even a countable number of states .

If the machine has a countable , finite number of states , it is called finite state machine .
