S-атрибутивная грамматика
 |
Грамматики с S-атрибутами — это класс грамматик атрибутов, характеризующийся отсутствием унаследованных атрибутов , а только синтезированными атрибутами . Унаследованные атрибуты, которые должны передаваться от родительских узлов к дочерним узлам абстрактного синтаксического дерева во время семантического анализа процесса синтаксического анализа , представляют собой проблему для восходящего синтаксического анализа , поскольку при восходящем синтаксическом анализе родительские узлы абстрактного синтаксиса Tree создаются после создания всех их дочерних элементов. Вычисление атрибутов в грамматиках с S-атрибутами может быть удобно включено как в нисходящий, так и в восходящий синтаксический анализ .
Спецификации генераторов синтаксических анализаторов семейства Yacc в широком смысле можно считать грамматиками с атрибутами S. Однако эти генераторы синтаксического анализатора обычно включают возможность ссылаться на глобальные переменные и/или поля из любого заданного грамматического правила, а это означает, что это не чисто S-атрибутивный подход.
Любая грамматика с атрибутом S также является с атрибутом L. грамматикой