Grammaire LR-attribuée

Un article de Wikipédia, l'encyclopédie libre.

Une grammaire LR-attribuée est un type spécial de grammaire attribuées. Elle permet aux attributs d'être évalués par un parseur LR. Ainsi, l'évaluation d'attributs est incorporée de manière commode dans un parseur ascendant.

zyacc est fondé sur une grammaire L-attribuée. Les grammaires attribuées sont un sous-ensemble des grammaires LR-attribuées où les attributs peuvent être évalués par une traversée de droite à gauche de l'arbre syntaxique abstrait. Elles sont un sur-ensemble des grammaires S-attribuées qui n'autorisent que les attributs synthétisés.

Avec yacc, un hack répandu consiste à utiliser des variables globales pour simuler les attributs hérités et donc l'attribution de type LR.

[modifier] Liens externes

• http://www.cs.binghamton.edu/~zdu/zyacc/doc/zyacc_4.html
• Reinhard Wilhelm: LL- and LR-Attributed Grammars. Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI (1982), 151–164, Informatik-Fachberichte volume 53.
• J. van Katwijk: A preprocessor for YACC or A poor man's approach to parsing attributed grammars. Sigplan Notices 18:10 (1983), 12–15.