Атрибутный подход. 
Подход к реализации атрибутов в системе SynGT

Атрибутная техника была введена Д. Кнутом [7] с целью описания семантики языков, порождаемых классическими контекстно-свободными грамматиками Хомского [1]. Атрибутный подход (по Кнуту) предполагает построение дерева разбора входного предложения языка в данной КС-грамматике, а затем вычисление значений атрибутов в каждой вершине этого дерева по правилам, связанным с правилами грамматики, участвующими в разборе. На практике данный подход был реализован в ряде инструментальных систем построения компиляторов, таких как, например, УАСС [6], Eli [4], CUP[18].

Начиная с 70-х годов, для определения синтаксиса КС-языков применяется их регулярная форма, — КСР-грамматики [3], RBNF-грамматики [21], EBNF-грамматики и их графическое представление, — синтаксические граф-схемы (аналог диаграмм Н. Вирта [2]). Каждому нетерминалу соответствует одна компонента диаграммы или одно правило КСР-грамматики, правая часть которого является обобщённым регулярным выражением относительно символов объединенного алфавита грамматики [3], [19], [20]. В объединённый алфавит грамматики входят алфавиты терминалов, нетерминалов, семантик и предикатов. Семантики и предикаты присутствуют в КСР-правилах наравне с терминальными символами, а в синтаксической граф-схеме (СГС) располагаются на дугах, соединяющих вершины, помеченные терминалами и нетерминалами грамматики.

Технологии, использующие КС-грамматики с атрибутами, обычно преобразуют данную грамматику в эквивалентную однозначную КС-грамматику. За основу была взята методика построения синтаксических таблиц для языкового процессора, реализованная в инструментальной системе SynGT [3], использующая синтаксические граф-схемы и трансляционные КСР-грамматики для определения трансляций. Далее кратко опишем метод спецификации трансляций на трансляционных КСР-грамматиках и его использование при синтаксически-управляемой обработке данных в инструментальной системе.