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.