Содержание пояснительной записки
Введение
Постановка задачи
Описание исходного языка
Детерминированная автоматная модель синтаксического анализатора
Грамматика свойств
Структура разработанной программы
Результаты тестирования
Руководство пользователя
Заключение
Библиографический список
Приложение
Перечисленные разделы должны содержать информацию:
- Введение– описание задач, которые возлагаются на синтаксический и семантический анализ в работе транслятора, а также общую характеристику исходного языка, выбранного по варианту задания, и области его применения;
- Постановка задачи– текст задания, конкретизированный указанием исходного языка и словесным описанием выбранного подмножества этого языка;
- Описание исходного языка– регулярную грамматику, описывающую лексемы языка, и КС-грамматику, описывающую синтаксис языка;
- Детерминированная автоматная модель синтаксического анализатора– описание автоматных моделей, выбранных для реализации лексического и синтаксического анализов;
- Грамматика свойств– компоненты
,
,
,
,
дополняющие построенную КС-грамматику
до грамматики свойств;
- Структура разработанной программы– обобщенное описание спроектированной программы с указанием ее основных блоков, функций и их взаимосвязей;
- Результаты тестирования– несколько тестов, на которых была проверена работа спроектированной программы, в виде входных текстов, предъявленных программе, и текстов ее ответных реакций;
- Руководство пользователя– инструкцию по подготовке исходных данных, запуску программы и интерпретации ее сообщений;
- Заключение– критический анализ проделанной работы с указанием ее достоинств и, возможно, недостатков;
- Библиографический список– список использованной литературы (на которую в основном тексте полагается делать ссылки);
- Приложение– исходный текст спроектированной программы.
Библиографический список
А.Ахо, Р.Сети, Дж.Ульман. Компиляторы: принципы, технологии, инструменты. Пер. с англ. – М.: Издательский дом «Вильямс», 2003. – 768с.
А.Ахо, Дж.Ульман. Теория синтаксического анализа, перевода и компиляции. Том 2. Компиляция. Пер. с англ. – М.: Мир, 1978, – 488с.
Р.Хантер. Проектирование и конструирование компиляторов. Пер. с англ. – М.: Финансы и статистика, 1984. – 232с.
А.В.Бржезовский, Т.М.Максимова, А.А.Янкелевич. Теория языков программирования и методы трансляции. Средства автоматизации построения синтаксических анализаторов. Методические указания к выполнению лабораторных работ № 1-2. – СПб.: СПбГУАП, 2006. -36с.
Д.Грис. Конструирование компиляторов для цифровых вычислительных машин. Пер. с англ. – М.: Мир, 1975, – 544с.
Приложение 1 Синтаксический анализ с использованием детерминированного автомата с магазинной памятью
Детерминированный автомат с магазинной памятью может использоваться в качестве распознавателя некоторых частных видов КС-языков. (КС-язык это язык, который может быть описан КС-грамматикой, а КС-грамматика, по классификации Хомского, - это грамматика, правила которой в левой части содержат по одному нетерминалу, а в правой – произвольные строки терминалов, нетерминалов или пустые строки). Структура такого распознавателя приведена на рис. 3.
входная лента
стек
Управляющая
таблица
Рис.3. Структура детерминированного распознавателя КС-языков
Управляющая таблица содержит в своих клетках команды, которые должен выполнить автомат. Координаты клетки, из которой следует выбрать очередную команду, определяются содержанием вершины стека (координата строки) и обозреваемым на входной ленте символом анализируемой строки (координата столбца). Управляющая таблица автомата, реализующего алгоритм типа «сдвиг-приведение», естественно, содержит команды типа «сдвиг» и типа «приведение», а также две команды завершения работы алгоритма: успешное завершение синтаксического разбора входной строки и обнаружение синтаксической ошибки во входной строке. LR(1)-грамматика и грамматика предшествования являются частными видами КС-грамматик, для которых может быть построен детерминированный автомат, реализующий алгоритм типа «сдвиг-приведение».