Il convient toutefois de noter que, d'une manière générale, un automate n'a pas besoin d'un nombre fini d'états, ni même d'un nombre de pays.
Si la machine dispose d'un nombre fini d'états, elle est appelée machine à état fini.