Содержание
Задание на курсовую работу
Введение
1 Составление формальной грамматики
2 Построение конечного автомата
Возможно вы искали - Курсовая работа: Моделирование работы цеха
3 Программное моделирование работы конечного автомата
4 Граф детерминированного автомата
5 Блок-схема
6 Примеры разбора строк
Задание на курсовую работу
Похожий материал - Контрольная работа: Моделирование сети
Моделирование работы конечного распознавателя для последовательности элементов типа «дата» в немецком формате (ДД.ММ.ГГГГ), разделенных запятыми, при этом значение даты должно быть помещено в фигурные скобки, а год должен отображаться четырьмя символами, например, ({01.12.2001},{05.07.2003});
Введение
Учебная цель. Получение практических навыков построения моделей конечных распознавателей.
Теоретические сведения.
Недетерминированный конечный автомат (НКА) - это пятерка M = (Q, T, D, q0 , F), где
Очень интересно - Курсовая работа: Моделирование системы массового обслуживания
· Q - конечное множество состояний;
· T - конечное множество допустимых входных символов (входной алфавит);
· D - функция переходов (отображающая множество Q(T
{e}) во множество подмножеств множества Q), определяющая поведение управляющего устройства;
· q0 
Q - начальное состояние управляющего устройства;
· F 
Q - множество заключительных состояний.
Вам будет интересно - Курсовая работа: Моделирование системы массового обслуживания
Недетерминизм автомата заключается в том, что, во-первых, находясь в некотором состоянии и обозревая текущий символ, автомат может перейти в одно из, вообще говоря, нескольких возможных состояний, и во-вторых, автомат может делать переходы по e.
Пусть M = (Q, T, D, q0 , F) - НКА. Конфигурацией автомата M называется пара (q, w) QT* , где q - текущее состояние управляющего устройства, а w - цепочка символов на входной ленте, состоящая из символа под головкой и всех символов справа от него. Конфигурация (q0 , w) называется начальной, а конфигурация (q, e), где q F - заключительной (или допускающей).
Пусть M = (Q, T, D, q0 , F) - НКА. Тактом автомата M называется бинарное отношение 
, определенное на конфигурациях M следующим образом: если p D(q, a), где a T {e}, то (q, aw) (p, w) для всех w T* .
Будем обозначать символом + (* ) транзитивное (рефлексивно- транзитивное) замыкание отношения .
Говорят, что автомат M допускает цепочку w, если (q0 , w) * (q, e) для некоторого q F. Языком, допускаемым (распознаваемым, определяемым) автоматом M, (обозначается L(M)), называется множество входных цепочек, допускаемых автоматом M. Т.е.
Похожий материал - Курсовая работа: Моделирование системы массового обслуживания
Важным частным случаем недетерминированного конечного автомата является детерминированный конечный автомат, который на каждом такте работы имеет возможность перейти не более чем в одно состояние и не может делать переходы по e.
Пусть M = (Q, T, D, q0 , F) - НКА. Будем называть M детерминированным конечным автоматом (ДКА), если выполнены следующие два условия:
· D(q, e) = 
для любого q Q, и