Абстрактные атрибутные грамматики и их использование в системах построения трансляторов

• Автор: Меристе, Мерик Борисович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Тарту
• Количество страниц: 137 c. : ил

Глава I АТРИБУТНЫЙ ПОДХОД К ОПИСАНИЮ И

РЕАЛИЗАЦИИ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ В СПТ

1.1. Основные понятия и обозначения

1.2. Применение атрибутных грамматик при описании языков программирования

1.2.1 Атрибутные описания на базе

конкретного синтаксиса языков

1.2.2 Атрибутные описания на базе абстрактного синтаксиса

1.3. Реализация атрибутных грамматик

1.3.1 Проверка корректности

1.3.2 Вычисление атрибутов

1.4. Заключение

Глава II АБСТРАКТНЫЕ АТРИБУТНЫЕ ГРАММАТИКИ
2.1. Аппарат описания (абстрактного) синтаксиса языков программирования
2.2. Атрибуты и семантические правила ААГ
2.3. Применение абстрактных
атрибутных грамматик в СПТ
2.4. Заключение
Глава III РЕАЛИЗАЦИЯ АБСТРАКТНЫХ
АТРИБУТНЫХ ГРАММАТИК
3.1. Организация вычисления атрибутов на
итеративных синтаксических структурах
3.1.1 Построение дерева вывода
базовой грамматики

3.1.2. Вычисление и использование значений итеративных вхождений атрибутов
3.2. Проверка корректности
абстрактной атрибутной грамматики
3.2.1. Проверка сбалансированности ААГ
3.2.2. Проверка каноничности и локальной корректности семантических правил
3.2.3. Проверка ацикличности
3.3. Подклассы абстрактных
атрибутных грамматик
3.4. Реализация одновизитных ААГ
3.5. Смешанная стратегия реализации ААГ
3.6. Построение семантической структуры
3.7. Заключение
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЯ:
1. Методы реализации атрибутных грамматик
2. Атрибутное описание языка Дьр^е

Актуальность работы
В программировании актуальна задача повышения производительности труда программиста в целях создания эффективного и надежного математического обеспечения. Одним из важнейших путей решения этой задачи является разработка и внедрение инструментальных систем построения трансляторов и пакетов прикладных программ.
Эффективность и удобство применения системы построения трансляторов (ОПТ) зависят прежде всего от применяемых в СПТ методов описания и реализации языков программирования. Наиболее актуальными и трудными в области СПТ являются вопросы, касающиеся методов описания контекстно-зависимых свойств и семантики языков, а также методов эффективной реализации этих описаний [1,20,36,42].
Формальный аппарат, лежащий в основе метода описания языков в СПТ, по мнению многих авторов должен обладать следующими важными свойствами [8,13,19,20,42,68]:
1) Естественность, наглядность и структурированность описания и удобство работы с ним человека (в первую очередь разработчика языка и реализатора);
2) полнота описания, т.е. не должно существовать вопросов о синтаксисе, контекстно-зависимых совйствах и семантике,на которые описание было бы бессильно ответить;
3) возможность автоматизированного построения транслятора по формальному описанию языка.

Таким образом, в каноничной грамматике множество аргументов семантического правила не содержит других вхождений атрибутов, значения которых вычисляются при этом же правиле вывода. Требование каноничности не является существенным ограничением - как обычную атрибутную грамматику [4], так и абстрактную атрибутную грамматику можно преобразовать в канонический вид добавлением некоторых новых атрибутов и семантических правил. Свойство каноничности упрощает применение (абстрактных) атрибутных грамматик, так как ограничиваются возможные зависимости между вхождениями атрибутов.
В заключение настоящего раздела рассмотрим пример абстрактной атрибутной грамматики (рис.2). Описываемый язык заимствован из примера в работе [57^, язык имеет блочную структуру. Каждый блок содержит список описаний и список операторов. Каждый оператор - это либо блок, либо идентификатор, который должен быть описан в одном из охватывающих или в данном блоке. Атрибут "среда” содержит все доступные для конкретного понятия языка объявления. Программа считается ошибочной, если используется хотя бы один не описанный идентификатор. Атрибут "имя” символа ИД - внешний атрибут (его значение определяется лексическим анализатором). Значением атрибута "список" является множество "имен" идентификаторов. В правиле вывода 2 значение вхождения БЛОК.ошибка определяется итеративным семантическим правилом и значение итеративного вхождения ОП.среда - составным семантическим правилом первого типа. Значение итеративного вхождения ОПИС.список (правило вывода 3) определяется составным семантическим правилом второго типа. Значения всех остальных вхождений атрибутов определяются простыми семантическими правилами.