Las gramáticas con atributos L son un tipo especial de gramáticas de atributos . [1] Permiten evaluar los atributos en un recorrido de izquierda a derecha en profundidad del árbol de sintaxis abstracta . Como resultado, la evaluación de atributos en gramáticas con atributos L se puede incorporar convenientemente en el análisis de arriba hacia abajo .
Una definición dirigida por sintaxis tiene atributos L si cada atributo heredado de en el lado derecho de depende solo de
Toda definición dirigida por sintaxis con atributo S también tiene atributo L.
La implementación de definiciones con atributos L en analizadores de abajo hacia arriba requiere reescribir las definiciones con atributos L en esquemas de traducción.
Muchos lenguajes de programación tienen atributos L. Los compiladores específicos , que son tipos especiales de compiladores, se basan en alguna forma de gramática con atributos L. Son un superconjunto estricto de gramáticas con atributos S. Se utilizan para la síntesis de código.
"Atributos heredados" o "atributos sintetizados" asociados con la aparición del símbolo .