Грамматика, приписываемая LR

Грамматики с атрибутами LR представляют собой особый тип грамматик атрибутов . Они позволяют оценивать атрибуты при анализе LR . В результате оценка атрибутов в грамматиках с атрибутами LR может быть удобно включена в восходящий синтаксический анализ. zyacc основан на грамматиках, атрибутированных LR. Они являются подмножеством грамматик с атрибутами L , где атрибуты могут быть оценены за один обход абстрактного синтаксического дерева слева направо. Они представляют собой надмножество грамматик с S-атрибутами , которые допускают только синтезированные атрибуты. В yacc обычным приемом является использование глобальных переменных для имитации некоторых унаследованных атрибутов и, следовательно, LR-атрибуции.

Внешние ссылки

• http://www.cs.binghamton.edu/~zdu/zyacc/doc/zyacc_4.html
• Рейнхард Вильгельм : Атрибутивные грамматики LL и LR. Языки программирования и разработка программ, 7-я конференция, организованная техническим комитетом GI 2 (1982), 151–164, отчеты по информатике, том 53.
• Дж. ван Катвейк: Препроцессор для YACC или Подход бедняка к разбору приписываемых грамматик. Уведомления Sigplan 18:10 (1983), 12–15.