Применение алгоритмов теории автоматов, формальных языков и грамматик для построения трансляторов.

ВВЕДЕНИЕ


Целью данного курсового проекта является:
 изучение методов устранения левой рекурсии в КС-грамматиках;
 приведение грамматики к нормальной форме Хомского;
 изучение технологии построения детерминированного МП-распознавателя по LL(1)-грамматике;
 изучение основных понятий теории грамматик простого предшествования, ознакомление с алгоритмами синтаксического анализа (разбора) для некоторых классов КС-грамматик;
 изучение основных понятий теории детерминированного восходящего разбора, ознакомление с алгоритмами синтаксического анализа (разбора) для классов КС-грамматик, с ослабленными ограничениями;
 изучение основных понятий теории детерминированного восходящего разбора, ознакомление с алгоритмом синтаксического анализа (разбора) для классов КС-грамматик с пересечением отношений предшествования;
 изучение технологии конструирования модели синтаксического анализатора с использованием SRметода синтаксического разбора на примере описания массивов в языке Паскаль;
 изучение структуры МП-преобразователя и схем СУ-перевода, построение недетерминированного нисходящего МП-преобразователя;
 изучение структуры МП-преобразователя и схем СУ-перевода, построение недетерминированного восходящего МП-преобразователя;
 изучение процесса преобразования синтаксического дерева в форму промежуточной программы с помощью трансляционной грамматики.
Для этого необходимо решить следующие задачи:
 описать основные структурные элементы в языка Паскаль в виде БНФ;

СОДЕРЖАНИЕ
ВВЕДЕНИЕ 2
Задание 1. Описание входного языка транслятора 2
Задание 2. Устранение левой рекурсии 2
Задание 3. Приведение КС-грамматики в нормальную форму Хомского 2
Задание 4. Нисходящий синтаксический анализ. Построение распознавателя для заданной грамматики с её проверкой на тип LL(1). 2
Задание 5. Нисходящий синтаксический анализ 2
5.1 Постановка задачи 2
5.2 Конструирование модели LL(1)-анализа 2
5.2.1 Описание входного языка в виде БНФ 2
5.2.2 Синтаксический разбор полученной БНФ: 2
5.2.3 Разбор КС-грамматики 2
5.2.4 Преобразование КС-грамматики к виду LL(1)-грамматики 2
5.2.5 Конструирование детерминированного нисходящего LL(1)-анализатора 2
5.2.6 Конструирование лексического анализатора входного языка 2
5.3 Тестирование LL(1)-распознавателя 2
Задание 6. Построение детерминированного анализатора предшествования 2
Задание 7. Конструирование восходящего детерминированного SR-анализатора 2
7.1 Постановка задачи 2
7.2 Построение SR-распознавателя 2
7.2.1 Описание входного языка в виде БНФ 2
7.2.2 Синтаксический разбор полученной БНФ: 2
7.2.3 Разбор КС-грамматики 2
7.2.4 Построение отношений простого предшествования 2
7.2.5 Конструирование лексического анализатора входного языка 2
7.3 Тестирование МП-распознавателя 2
Задание 8. Детерминированный восходящий синтаксический анализ 2
Задание 9. Синтаксически-управляемый перевод и синтаксический анализ 2
ЗАКЛЮЧЕНИЕ 2
СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ 2

СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ

1) Бек, Л. Введение в системное программирование. М,: Мир, 1988, 256 с. ISBN 124-124-589-6
2) Гладкий, А.В. Формальные грамматики и языки. М.: Наука, 1973, 425 с. ISBN 486-59-289-3
3) Гросс, М., Лантен, А. Теория формальных грамматик. М.: Мир, 1971, 236 с. ISBN 236-214-256-23
4) Компаниец, Р.И. и др. Системное программирование. Основы построения трансляторов.- СПб.: КОРОНА принт, 2000, 389 с. ISBN 123-896-25-6
5) Льюис, Ф., Розенкранц, Д., Стейрнз, Р. Теоретические основы проектирования компи¬ляторов. М.: Мир, 1979, 725 с. ISBN 125-698-236-23
6) Рейуорд Смит, В. Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988, 256 с. ISBN 258-369-951-74