Курсовая работа на тему: Постановка задачи. Формальная модель задачи. Спецификация основных процедур и функций

Введение

Теория формальных языков и грамматик является основным разделом математической лингвистики - специфической математической дисциплины, ориентированной на изучение структуры естественных и искусственных языков.

Эта теория возникла в 50-е годы в работах американского лингвиста

Н. Хомского. По характеру используемого математического аппарата теория формальных грамматик и языков близка к теории алгоритмов и к теории автоматов.

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

В настоящее время искусственные языки, использующие для описания предметной области текстовое представление, широко применяются не только в программировании, но и в других областях. С их помощью описывается структура всевозможных документов, трехмерных виртуальных миров, графических интерфейсов пользователя и многих других объектов, используемых в моделях и в реальном мире. Для того чтобы эти текстовые описания были корректно составлены, а затем правильно распознаны и интерпретированы, применяются специальные методы их анализа и преобразования. В основе данных методов лежит теория формальных языков, грамматик и автоматов.

Несмотря на то, что к настоящему времени разработаны тысячи различных языков и их компиляторов, процесс создания новых приложений в этой области не прекращается. Это связно как с развитием технологии производства вычислительных систем, так и с необходимостью решения все более сложных прикладных задач. Такая разработка может быть обусловлена различными причинами, в частности, функциональными ограничениями, отсутствием локализации, низкой эффективностью существующих компиляторов.

Цель курсовой работы:

закрепление теоретических знаний в области теории формальных языков, грамматик, автоматов и методов трансляции;

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

Оглавление

- Введение

- Постановка задачи

- Формальная модель задачи

- Спецификация основных процедур и функций

- Лексический анализатор

- Синтаксический анализатор

- Семантический анализатор

- Обработка описаний

- Анализ выражений и проверка правильности операторов

- Генерации внутреннего представления программы

- Интерпретатор программы

- Структурная организация данных

- Спецификация входной информации

- Спецификация выходной информации

- Укрупненная схема алгоритма программного средства

- Конечный автомат

- Руководство пользователя Заключение

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

- Приложение

Заключение

Разработали на языке программирования С# в среде Мiсrоsоft Visuаl Studiо 2010 на базе Мiсrоsоft NЕТ Frаmеwоrк 4 (4.5) программное средство реализующее компилятор модельного языка программирования. Программное средство способно выполнять следующие функции:

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

подсветку синтаксиса введенных программ, опираясь на таблицу служебных слов;

производить лексический анализ программ;

выполнять синтаксическую и семантическую проверку программ;

переводить программы в ПОЛИЗ;

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

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