CAML et l’analyse syntaxique
Langage CAML

On a déjà mentionné que CAML était un langage particulièrement bien adapté aux manipulations symboliques du fait qu’il permette de définir très simplement des syntaxes abstraites. Cette facilité ne prend tout son sens que si l’on dispose aussi de moyens commodes pour réaliser des interconversions entre syntaxes abstraites et syntaxes concrètes et, en particulier, de produire facilement des analyseurs lexicaux et syntaxiques. Pour cela, CAML fournit des générateurs d’analyseurs lexicaux et syntaxiques CAMLLEX et CAMLYACC fondés sur les utilitaires correspondants d’UNIX. Il fournit aussi un moyen plus original d’écrire des analyseurs par filtrage sur des flots de données.