Изменения

Грамматика называется '''S-атрибутной''', если с атрибутами выполняются только операции присваивания значений других атрибутов, а внутри транслирующих символов происходят обращения только к атрибутам этого транслирующего символа. То есть используются только синтезируемые атрибуты. Дерево разбора для такой грамматике всегда может быть аннотировано путем выполнения семантических правил снизу вверх, от листьев к корню.

}}

==Пример S-атрибутной грамматики.==

Выпишем синтексически управляемое определение для грамматики арифметических выражений с операторами $+$ и $*$:

Грамматика называется '''L-атрибутной''', если значения наследуемых атрибутов зависят только тот родителей и братьев слева (то есть не зависят от значений атрибутов братьев справа).

}}

==Пример L-атрибутной грамматики==

Выпишем продукции и ассоциируем с ними семантические правила для грамматики объявления переменных: