Содержание
Введение 3
1 Постановка задачи 4
2 Формальная модель задачи 5
2.1 Расширенные Формы Бэкуса – Нау-ра……………………………………………10
2.2 Формальные грамматики 11
2.3 Диаграммы Вир-та…………………………………………………………..12
3 Спецификация основных процедур и функций……………………………19
3.1 Лексический анализатор 19
3.2 Синтаксический анализатор 24
3.3 Семантический анализатор 28
3.4 Генерации внутреннего представления программы 30
3.5 Интерпретатор программы……………………………………………….33
4 Структурная организация данных 34
4.1 Спецификация входной информации 34
4.2 Спецификация выходной информации 34
5 Разработка алгоритма решения задачи 35
5.1 Укрупненная схема алгоритма программного средст-ва………………..35
5.2 Детальная схема алгоритма программного средства…………………..36
6 Установка и эксплуатация программного средства 37
7 Работа с программным средством 38
Заключение 40
Список использованных источников 41
Приложение А – Таблицы служебных слов и ограничителей 42
Приложение Б – Примеры программ на модельном языке 43
Приложение В – Цепочка вывода и дерево разбо-ра………………………..45
Приложение Г – Примеры таблиц идентификаторов и двуместных опера-ций………………………………………………………………………………..47
Приложение Д – ПОЛИЗ и интерпретация программы………………………48
Приложение Е – Контрольный пример………………………………………….53
Приложение Ж –Список ошибок, выводимых программой 54
Приложение З –Текст программы 55
Выдержка из текста
Теория формальных языков, грамматик и автоматов составляет фунда-мент синтаксических методов. Основы этой теории были заложены Н. Хомским в 40–50-е годы XX столетия в связи с его лингвистическими работами, посвященными изучению естественных языков. Но уже в следующем десятилетии синтаксические методы нашли широкое практическое применение в области разработки и реализации языков программирования.
В настоящее время искусственные языки, использующие для описания предметной области текстовое представление, широко применяются не только в программировании, но и в других областях. С их помощью описывается структура всевозможных документов, трехмерных виртуальных миров, графических интерфейсов пользователя и многих других объектов, используемых в моделях и в реальном мире. Для того чтобы эти текстовые описания были корректно составлены, а затем правильно распознаны и интерпретированы, применяются специальные методы их анализа и преобразования. В основе данных методов лежит теория формальных языков, грамматик и автоматов.
Список использованной литературы
1 Гордеев А.В. Системное программное обеспечение [Текст]: учеб. для вузов / А. В. Гордеев, А.Ю. Молчанов; под. общ. ред. А.В. Гордеева. – СПб.: Питер, 2001. — 734 с.: ил.; 24 см. — Библиогр.: с. 719-724.
2 Ишакова Е.Н. Теория языков программирования и методов трансляции: учебное пособие / Е.Н. Ишакова. – Оренбург: ИПК ГОУ ОГУ, 2007. – 137 с.
3 Калинин А.Г. Универсальные языки программирования: Семантический подход [Текст] / А.Г. Калинин, И.В. Мацкевич. – М.: Радио и связь, 1991. — 398, [1] с.: ил.; 21 см. — Библиогр.: с. 395-398.
4 Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение. – СПб: Питер, 2001. – 736с.