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