Для студентов СПбГУ по предмету ДругиеРеализация алгоритма построения машины Тьюринга по булевым грамматикамРеализация алгоритма построения машины Тьюринга по булевым грамматикам
2024-08-052024-08-05СтудИзба
Курсовая работа: Реализация алгоритма построения машины Тьюринга по булевым грамматикам
Описание
Оглавление
2
Введение
Теория формальных языков лежит в основе таких направлений систем-ного программирования, как разработка трансляторов и статических анализаторов. В связи с большой актуальностью этих направлений ис-следование формальных языков очень важно.
На данный момент среди формальных языков контекстно-свободные языки нашли наибольшее применение, к примеру, с их помощью зада-ется основная грамматическая структура большого числа языков про-граммирования. Однако уже с появлением самых первых языков про-граммирования у контекстно-свободных языков не хватало выразитель-ной силы, чтобы обеспечить некоторые их ограничения. Например, Ро-берт Флойд в статье [2] показал, что язык АЛГОЛ-60 не может быть пол-ностью определен с помощью контекстно-свободных грамматик, приве-дя в пример следующую программу
| Введение | 3 | ||
| Постановка задачи | 5 | ||
| 1. | Обзор | 6 | |
| 1.1. | Формальныеязыки...................... | 6 | |
| 1.2. | Обзор функциональности проекта . . . . . . . . . . . . . | 12 | |
| 1.3. | Обзор технологий, использующихся для обеспечения вво- | ||
| да текстов грамматик пользователем . . . . . . . . . . . . | 15 | ||
| 2. | Описание реализации | 17 | |
| 2.1. | Реализация модуля обработки ввода грамматик пользо- | ||
| вателем............................. | 18 | ||
| 2.2. | Архитектура машины Тьюринга, распознающей булевы | ||
| грамматики........................... | 20 | ||
| 2.3. | Деталиреализации ...................... | 24 | |
| 3. | Эксперименты | 26 | |
| Заключение | 27 | ||
| Список литературы | 29 | ||
| Приложение A. Обработка текста грамматики | 31 | ||
| Приложение B. Пример работы алгоритма | 33 | ||
2
Введение
Теория формальных языков лежит в основе таких направлений систем-ного программирования, как разработка трансляторов и статических анализаторов. В связи с большой актуальностью этих направлений ис-следование формальных языков очень важно.
На данный момент среди формальных языков контекстно-свободные языки нашли наибольшее применение, к примеру, с их помощью зада-ется основная грамматическая структура большого числа языков про-граммирования. Однако уже с появлением самых первых языков про-граммирования у контекстно-свободных языков не хватало выразитель-ной силы, чтобы обеспечить некоторые их ограничения. Например, Ро-берт Флойд в статье [2] показал, что язык АЛГОЛ-60 не может быть пол-ностью определен с помощью контекстно-свободных грамматик, приве-дя в пример следующую программу
Характеристики курсовой работы
СПбГУСписок файлов
Реализация алгоритма построения машины Тьюринга по булевым грамматикам.doc
Tortuga
05 августа 2024 в 08:05
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
