Site d’Emmanuel Saint-James
Philologie de la programmation
De la théorie grammaticale à sa pratique

Cette mathématisation de la linguistique, finalement peu convaincante pour les langues naturelles, a eu un grand impact sur l’informatique. Outre la maîtrise de l’analyse syntaxique des langages de programmation évolués, on lui doit certaines nouveautés :

• un langage défini par une grammaire rationnelle est exprimable par une notation synthétique nommée expression rationnelle (regular expression en anglais) qui constitue une sorte de langage de programmation, incomplet mais très bien adapté à la reconnaissance de motifs ;
• le théorème fondamental a inspiré la définition du méta-langage XML, les langages respectant son formalisme, nommés langages de balisage, bénéficiant de son analyseur syntaxique universel, SAX, auquel la plupart des langages de programmation donne accès ; il ne reste plus alors qu’à écrire un validateur vérifiant que les lexèmes utilisés sont autorisés par la grammaire là où ils apparaissent ;
• HTML a respecté longtemps XML, avant que HTML5, imposé par les GAFAM au W3C, ne l’abandonne, revendiquant ouvertement dans son manuel d’être incohérent malgré ses sous-ensembles SVG et MATHML, antérieurs à lui, qui eux le respectent.