Rappel sur la notion de grammaire attribuée

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.