Une transition spontanée, notée , relie deux états sans consommer de symbole. Elle apparaît naturellement quand on assemble des briques : la sortie d'une brique doit s'allumer en même temps que l'entrée de la suivante.
La fermeture spontanée
La fermeture spontanée d'un ensemble d'états est cet ensemble augmenté de tout ce que l'on atteint gratuitement, en suivant autant de flèches que l'on veut. Elle contient donc toujours l'ensemble de départ.
Objectif
Compter ce que les transitions spontanées ajoutent, et ce qu'elles ne consomment pas.
Où la fermeture se calcule
Deux moments, et pas un seul : au départ, avant le premier symbole, et après chaque symbole lu. Oublier le premier fait rater les mots dont l'acceptation ne demande aucun symbole ; oublier le second fait rater tout le reste.