Las gramáticas con atributos S son una clase de gramáticas de atributos caracterizadas por no tener atributos heredados , sino solo atributos sintetizados . Los atributos heredados, que deben transmitirse desde 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 ascendente porque en el análisis ascendente, los nodos principales de la sintaxis abstracta El árbol se crea 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 el análisis de arriba hacia abajo como en el análisis de abajo hacia arriba .
Las especificaciones para los generadores de analizadores sintácticos de la familia Yacc pueden considerarse en términos generales gramáticas con atributos S. Sin embargo, estos generadores de analizadores generalmente incluyen la capacidad de hacer referencia a variables y/o campos globales desde cualquier regla gramatical determinada, lo que significa que este no es un enfoque puro con atributos S.
Cualquier gramática con atributos S también es una gramática con atributos L.