Las gramáticas con atributos S son una clase de gramáticas con atributos caracterizadas por no tener atributos heredados , sino solo atributos sintetizados . Los atributos heredados, que deben transmitirse de los nodos principales a los nodos secundarios del árbol de sintaxis abstracta durante el análisis semántico del proceso de análisis , son un problema para el análisis de abajo hacia arriba porque en el análisis de abajo hacia arriba, los nodos principales de la sintaxis abstracta árbol se crean después de la creación de todos sus hijos. La evaluación de atributos en gramáticas con atributos S se puede incorporar convenientemente tanto en análisis sintáctico de arriba hacia abajo como enanálisis de abajo hacia arriba .
Las especificaciones para los generadores de analizadores de la familia Yacc pueden considerarse en términos generales como gramáticas con atributos S. Sin embargo, estos generadores de analizadores suelen incluir la capacidad de hacer referencia a variables y/o campos globales desde dentro de cualquier regla gramatical dada, lo que significa que este no es un enfoque puro con atributos S.