Изменения

Перейти к: навигация, поиск

Атрибутные транслирующие грамматики

39 байт добавлено, 10:01, 4 июня 2015
Нет описания правки
Грамматика называется '''S-атрибутной''', если с атрибутами выполняются только операции присваивания значений других атрибутов, а внутри транслирующих символов происходят обращения только к атрибутам этого транслирующего символа. То есть используются только синтезируемые атрибуты. Дерево разбора для такой грамматике всегда может быть аннотировано путем выполнения семантических правил снизу вверх, от листьев к корню.
}}
</wikitex>
==Пример S-атрибутной грамматики.==
<wikitex>
Выпишем синтексически управляемое определение для грамматики арифметических выражений с операторами $+$ и $*$:
Грамматика называется '''L-атрибутной''', если значения наследуемых атрибутов зависят только тот родителей и братьев слева (то есть не зависят от значений атрибутов братьев справа).
}}
</wikitex>
==Пример L-атрибутной грамматики==
<wikitex>
Выпишем продукции и ассоциируем с ними семантические правила для грамматики объявления переменных:
496
правок

Навигация