Next: Présentation des travaux
Up: Travaux Théoriques
Previous: Travaux Théoriques
Rappelons brièvement le principe de la méthode des grammaires attribuées. On
considère une grammaire indépendante du contexte. À chacun de ses
non-terminaux, on attache deux ensembles de symboles, les attributs synthétisés,
qui véhiculent de l'information depuis les feuilles d'un arbre de dérivation
jusqu'à la racine, et les attributs hérités, qui transportent de l'information
en sens inverse. À chaque production on associe un certain nombre de règles
sémantiques qui spécifient comment calculer les attributs de sortie,
c'est-à-dire les attributs synthétisés du non-terminal membre gauche de la
production, et les attributs hérités des non-terminaux du membre droit de la
production, en fonction des attributs d'entrée de la production (les autres
attributs). D'après ce rapide exposé les principales qualités de cette méthode
sont les suivantes:
- Les grammaires attribuées sont une méthode de description déclarative, c'est-à-dire non-procédurale: il n'est pas spécifié comment (dans quel ordre) on
calcule les attributs, mais seulement ce que l'on calcule (leur valeur).
- Elles sont une méthode structurée, induite par les productions de la
grammaire;
- Elles sont basées sur le principe de localité: tout se passe au sein de
chaque production;
- Elles sont une spécification exécutable: il est possible de construire un programme, appelé évaluateur d'attributs, qui exécute la spécification d'entrée. Un
évaluateur est chargé de calculer, à l'aide des règles sémantiques, un
ou plusieurs attributs d'un arbre de dérivation qui représentetn la valeur sémantiques du texte
source.
Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997