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

Содержание

СОДЕРЖАНИЕ

ВВЕДЕНИЕ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

Выдержка из текста

ВВЕДЕНИЕ

Целью данного курсового проекта является:

изучение методов устранения левой рекурсии в КС-грамматиках;

приведение грамматики к нормальной форме Хомского;

изучение технологии построения детерминированного МП-распознавателя по LL(1)-грамматике;

изучение основных понятий теории грамматик простого предшествования, ознакомление с алгоритмами синтаксического анализа (разбора) для некоторых классов КС-грамматик;

изучение основных понятий теории детерминированного восходящего разбора, ознакомление с алгоритмами синтаксического анализа (разбора) для классов КС-грамматик, с ослабленными ограничениями;

изучение основных понятий теории детерминированного восходящего разбора, ознакомление с алгоритмом синтаксического анализа (разбора) для классов КС-грамматик с пересечением отношений предшествования;

изучение технологии конструирования модели синтаксического анализатора с использованием SRметода синтаксического разбора на примере описания массивов в языке Паскаль;

изучение структуры МП-преобразователя и схем СУ-перевода, построение недетерминированного нисходящего МП-преобразователя;

изучение структуры МП-преобразователя и схем СУ-перевода, построение недетерминированного восходящего МП-преобразователя;

изучение процесса преобразования синтаксического дерева в форму промежуточной программы с помощью трансляционной грамматики.

Для этого необходимо решить следующие задачи:

описать основные структурные элементы в языка Паскаль в виде БНФ;

Список использованной литературы

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

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

Похожие записи