Синтез распознающего автомата

ЭТАП 1. Построение праволинейной грамматики. Переход от праволинейной грамматики к автоматной.

ЭТАП 2. Построение недетерминированного распознающего автомата.

ЭТАП 3. Переход от недетерминированного автомата к полностью определенному детерминированному автомату.

Результаты. Таблица переходов и граф переходов детерминированного автомата. Примеры цепочек. Проверка эквивалентности автоматов сравнением множеств цепочек, допускаемых недетерминированным и детерминированным автоматами.

ЭТАП 4. Минимизация автомата. Часть первая: построение таблицы попарной эквивалентности состояний.

Результаты. Треугольная таблица отношений эквивалентности. Множество пар эквивалентных состояний.

ЭТАП 5. Минимизация автомата. Часть вторая: построение разбиения множества состояний на классы эквивалентности. Приведение автомата к минимальному.

Результаты. Таблица переходов и граф переходов минимального автомата. Примеры цепочек. Проверка эквивалентности детерминированного и минимального автоматов сравнением множеств цепочек, допускаемых автоматами.

После оформления заказа вышлю индивидуальный вариант (ФИО)