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