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/