Las gramáticas con atributos S son una clase de gramáticas de atributos que se caracterizan por no tener atributos heredados , sino solo atributos sintetizados . Los atributos heredados, que deben transmitirse de los nodos padre a los nodos hijos 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 a arriba porque en el análisis de abajo a arriba, los nodos padre del árbol de sintaxis abstracta 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 el análisis de arriba a abajo como en el análisis de abajo a arriba .
Las especificaciones para los generadores de analizadores sintácticos de la familia Yacc pueden considerarse, en términos generales, gramáticas con atribución S. Sin embargo, estos generadores de analizadores sintácticos suelen incluir la capacidad de hacer referencia a variables y/o campos globales desde dentro de cualquier regla gramatical dada, lo que significa que no se trata de un enfoque con atribución S pura .
Cualquier gramática atribuida a S es también una gramática atribuida a L.