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

Краткая выдержка из текста работы (Аннотация)

ВВЕДЕНИЕ

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

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

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

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

Другие похожие работы

• Контрольная - 8 задач по высшей математике (16 вариант, функции многих переменных, дифференциальные уравнения, числовые ряды)
• Контрольная - Даны координаты вершин пирамиды A1A2A3A4. Найти: 1) Длину ребра А1А2; 2) угол между ребрами А1А2 и А1А4; 3) угол между ребром А1А4 и гранью А1А2А3 ; 4) пло
• Контрольная - Контрольная работа то Теории вероятностей и математической статистике
• Контрольная - Дискретная математика Билет №7
• Контрольная - Теория вероятностей 1
• Курсовая - Аналитический метод в решении планиметрических задач.
• Контрольная - Вычислительная математика. Контрольная работа. Численное решение системы нелинейных уравнений.
• Контрольная - Контрольная по высшей математике двенадцать заданий
• Контрольная - Линейная алгебра и комплексные числа
• Контрольная - Высшая математика Вариант 3