Author: Christian.Queinnec@lip6.fr

## Pour en savoir plus

L'ouvrage de référence sur les analyses lexicale et syntaxique est connu sous le surnom du << dragon >> qui illustre sa couverture. Son vrai titre est Compilateur : principes, techniques et outils ([ASU89]). Il couvre toutes les étapes de la compilation. Il explique clairement la construction des automates correspondant à une grammaire non contextuelle donnée et les techniques pour le minimiser. Les outils `lex` et `yacc` sont largement décrits dans différents ouvrages, une bonne référence est [LMB92]. L'intérêt de `ocamllex` et `ocamlyac` par rapport à leurs versions originales est l'intégration au langage Objective CAML et surtout de pouvoir construire des analyseurs typés. Sur les streams, le rapport de recherche de Michel Mauny et Daniel de Rauglaudre [MdR92] permet de bien comprendre la sémantique opérationnelle de cette extension. D'autre part la lecture de [CM95] montre comment construire une telle extension. Pour une meilleure intégration des grammaires dans le langage Objective CAML, ou pour modifier la grammaire de ce dernier, on peut utiliser l'outil `camlp4` que l'on trouve à :

### Lien

http://caml.inria.fr/camlp4/