9.5 Контрольные вопросы

1 Какой метод разбора используется в Yacc?

2 Что такое атрибутные грамматики?

3 Какие виды атрибутов могут быть в атрибутных грамматиках?

4 Что такое семантическое правило?

5 Для чего служит переменная yyLval? От чего зависит ее тип?

9.6 Задание

Реализовать грамматику, описанную в задании к лабораторной работе№ 5 с использование Yacc.

Семантические правила должны транслировать запрос в операции реляционной алгебры. При работе должна осуществляться проверка на существование таблицы, к которой строиться запрос, а также наличие запрашиваемых полей в таблице. Будем считать, что имена таблиц и их поля хранятся в текстовом файле. Поля раздела where запроса также должны проверяться на существование, но проверку типов осуществлять не нужно. Любой идентификатор в разделе where считать полем таблицы.

9.7 Защита лабораторной работы

В ходе защиты лабораторной работы студент демонстрирует работу построенного транслятора и поясняет семантические правила, написанные в ходе построения транслятора.

На основе записей в объекте yyDbgMemo, произведенных в ходе работы транслятора, студент должен проиллюстрировать процесс сдвига и приведения при распознавании входной последовательности.

10 Задания к практическим работам

1. Определение конечных автоматов (КА). Формы задания КА.

2. Деревья вывода.

3. Грамматика для констант языка программирования.

4. Минимизация грамматик.

Список литературы

1. Опалева Э.А., Самойленко В.П. Языки программирования и методы трансляции : [учеб. пособие]. СПб. : БХВ-Петербург , 2005. - 476 с., ил.

2. Ахо А.В. Сети Р. Ульман Дж. Компиляторы: принципы, технологии и инструменты.- М.: Издательский дом «Вильямс», 2001.

3. Хопкрофт Дж.Э., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. М.: Издательский дом «Вильямс», 2002.

4. Компаниец Р.И. и др. Системное программирование. Основы построения трансляторов.- СПб.: КОРОНА принт, 2000.-256 с.

5. Хантер Р. Проектирование и конструирование компиляторов. М.: Финансы и статистика. 1984 г.