Un état par valeur du compteur : c0, c1, jusqu'à c10. Chaque jeton fait passer à l'état suivant, et c10 boucle sur lui-même.

Mesurer ce que coûte le comptage, puis répondre à la question qui compte vraiment : que se passe-t-il si le seuil n'est pas connu d'avance ?

Un automate fini possède un nombre d'états fixé à la construction. Compter sans limite supposerait un état par valeur du compteur, donc une infinité. Aucun automate fini ne peut donc le faire, et répondre 0 revient à dire que la tâche sort du pouvoir de ce modèle. C'est exactement le sujet du chapitre sur les limites, et c'est la raison pour laquelle un automate ne sait pas vérifier un parenthésage.