Site d’Emmanuel Saint-James
Philologie de la programmation
L’analyse syntaxique

L’analyse syntaxique est une opération dont la complexité dépend du langage :

• dans les langages d’assemblage, une instruction est l’équivalent d’une phrase réduite à un verbe à l’impératif, l’opération souhaitée, et de rares compléments réduits à un nom, les opérandes, toujours écrits après le verbe ;
• avec en plus la contrainte d’une unique instruction par ligne, ces langages sont à la portée de la lecture en une passe de l’analyse lexicale ;
• les premiers langages évolués ont permis des compléments plus complexes mais conservé le mode impératif, d’où le nom de programmation impérative, l’opération principale étant l’affectation d’une valeur à une variable ;
• accepter des opérandes plus complexes nécessite une analyse syntaxique, qui va devoir lire le texte à plusieurs reprises (ou en mémoriser des passages, ce qui revient au même) ;
• le terme anglais est parser, sa terminaison en "er" incitant les informaticiens français à le conjuguer comme un verbe du premier groupe, alors que le verbe "phraser", en usage chez les musiciens et les acteurs, aurait dû s’imposer tant il dit bien qu’il s’agit de percevoir la structure du discours ; quant au néologisme phraseur, il était visiblement impensable ;
• maîtriser ce problème a nécessité sa modélisation avec le concept mathématique de monoïde, qui diffère du groupe en ce qu’il n’admet pas d’élément symétrique : il y a bien un élément le neutre, le mot vide dans le cas du monoïde syntaxique, mais pas moyen de le produire en composant deux mots ; ce qui est écrit est définitivement écrit ;
• le monoïde syntaxique permet de définir des grammaires formelles sous forme de règles de réécritures d’une suite de symboles en une autre suite, certains symboles étant terminaux (les lettres) d’autres non, en particulier celui nommé axiome à partir duquel s’effectuent les réécritures jusqu’à disparition de tous les non terminaux.