Методы разработки компиляторов. Атрибутные грамматики

Атрибутные грамматики
Курс «Методы разработки компиляторов»

Определения
Определение. Атрибутная грамматика – расширение КС-грамматики, при котором каждому символу (терминалу, нетерминалу) ставится в соответствие конечное множество атрибутов (семантических параметров) некоторого типа.
Для каждого правила грамматики определяется одно или несколько семантических правил – функциональных зависимостей одних семантических атрибутов от других.
Дерево разбора, включающее значения атрибутов в каждом узле, называется аннотированным или украшенным, а процесс вычисления атрибутов по дереву – аннотированием дерева разбора.
Курс «Методы разработки компиляторов»

Пример
Курс «Методы разработки компиляторов»

Интерпретатор по атрибутной грамматике
Курс «Методы разработки компиляторов»

Синтезированные атрибуты
Курс «Методы разработки компиляторов»

Унаследованные атрибуты
Курс «Методы разработки компиляторов»

Пример 2
Курс «Методы разработки компиляторов»

Пример 2 – AST-дерево и дерево разбора
Курс «Методы разработки компиляторов»
AST-дерево и дерево вывода

Пример 2 – интерпретатор
После построения AST-дерева добавим к каждому узлу метод eval() для вычисления результата поддерева
Курс «Методы разработки компиляторов»
Затем вызовем eval() для корня дерева
Данный подход лучше первого интерпретатора тем, что
Вначале строится дерево и проверяются все ошибки (компилятор в дерево)
Можно запускать программу с различными исходными данными без перекомпиляции (это быстрее)

Пример 3. Заполнение таблицы символов по описанию переменных
Курс «Методы разработки компиляторов»

Пример 3. Заполнение таблицы символов по описанию переменных
Курс «Методы разработки компиляторов»

Пример 3 – дерево разбора
Курс «Методы разработки компиляторов»

Вопросы
В каком порядке вычислять атрибуты?
Всегда ли существует порядок, в котором можно вычислить все атрибуты?
Можно ли предложить один алгоритм для всех деревьев разбора?
Курс «Методы разработки компиляторов»

Определения, утверждения
Курс «Методы разработки компиляторов»

Пример 4. Грамматика для представления рациональных двоичных чисел
Курс «Методы разработки компиляторов»

Пример 4. Грамматика 2 для представления рациональных двоичных чисел
Курс «Методы разработки компиляторов»

Пример 4. Грамматика 2 для представления рациональных двоичных чисел
Курс «Методы разработки компиляторов»

Пример 4. Дерево разбора и граф зависимостей для 101.01
Курс «Методы разработки компиляторов»
Выводы - ?

Пример 5. Символьное дифференцирование
Курс «Методы разработки компиляторов»

Пример 5. Символьное дифференцирование (2)
Курс «Методы разработки компиляторов»

S-атрибутные и L-атрибутные грамматики
Курс «Методы разработки компиляторов»

Порядок вычислений в L-атрибутной грамматике
Курс «Методы разработки компиляторов»

Практический пример 34 + 23
Курс «Методы разработки компиляторов»

Калькулятор для нелеворекурсивной грамматики
Курс «Методы разработки компиляторов»

Курс «Методы разработки компиляторов»

Калькулятор для нелеворекурсивной грамматики (3)
Граф зависимости атрибутов
Курс «Методы разработки компиляторов»

Построитель AST-дерева для нелеворекурсивной грамматики 3 + 4 + 5
Курс «Методы разработки компиляторов»

Граф зависимостей для a - 4 + c
Курс «Методы разработки компиляторов»

В каком порядке вычислять атрибуты
Курс «Методы разработки компиляторов»