Ce que protège le dernier contrôle de l'analyseur

Sans cette ligne, l'analyseur accepte tout mot dont un préfixe appartient au langage, et ignore ce qui suit.

Deux témoins, obtenus en exécutant les deux versions :

Sur cc, la fonction s lit le premier c par la règle $S\to c$, rend la main, et il reste un caractère que personne ne regarde. Sur cab, il en reste deux.

Pourquoi acb reste refusé : là, l'échec vient de l'intérieur — après a, la fonction t appelle s, qui exige un c et trouve un b. Le contrôle final n'attrape que les échecs par excès, pas ceux par défaut.

La leçon de spécification. Un analyseur par descente récursive répond en vérité à la question « un préfixe du mot est-il dans le langage ? ». La question demandée est « le mot est-il dans le langage ? ». Les deux ne se rejoignent qu'à la dernière ligne : on a écrit du code qui répond à une question voisine de celle qu'on posait.

Et l'on ne s'en aperçoit qu'aux frontières — le mot vide, le mot réduit à un préfixe valide, le mot valide suivi d'un caractère. C'est la règle du chapitre chap:discipline : aucun cas « du milieu » ne révèle cette faute-là.