Изменения

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

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

3 байта добавлено, 14:14, 5 июня 2015
Пример L-атрибутной грамматики
Семантическое правило $L.inh = T.type$, связанное с продукцией $D \to TL$, определяет наследуемый атрибут $L.inh$ как тип объявления. Затем приведенные правила распространяют этот тип вниз по дереву разбора с использованием атрибута $L.inh$. Транслирующий символ ENTRY, связанный с продукциями для $L$, вызывает процедуру $addtype$ для добавления типа каждого идентификатора к его записи в таблице символов (по ключу, определяемому атрибутом $text$).
[[Файл:Real_id1,_id2,_id3.png|600px|center|thumb|аннотированное дерево разбора для '''$real \ id1, \ id2, \ id3$'''|600px]]
</wikitex>
497
правок

Навигация