Ковригин Теория автоматов Лабораторный практикум 2012
.pdfТаблица П4.13 Таблица переходов минимального детерминированного конечного автомата,
соответствующего регулярному выражению 101((0|1)(0|1)(0|1))+101
Состояние |
Группа |
Переходы |
Сигналы |
|
||
|
|
0 |
1 |
GOOD |
|
BAD |
S0 |
G3 |
S1 |
S2 |
0 |
|
0 |
S1 |
G4 |
S3 |
S2 |
0 |
|
0 |
S2 |
G2 |
S2 |
S2 |
0 |
|
1 |
S3 |
G7 |
S2 |
S4 |
0 |
|
0 |
S4 |
G11 |
S5 |
S5 |
0 |
|
0 |
S5 |
G10 |
S6 |
S6 |
0 |
|
0 |
S6 |
G9 |
S7 |
S7 |
0 |
|
0 |
S7 |
G8 |
S5 |
S8 |
0 |
|
0 |
S8 |
G6 |
S9 |
S6 |
0 |
|
0 |
S9 |
G5 |
S7 |
S10 |
0 |
|
0 |
S10 |
G1 |
S5 |
S8 |
1 |
|
0 |
Синтез минимального детерминированного конечного автомата, соответствующего регулярному выражению 101((0|1)(0|1)(0|1))+101, завершен. Получен автомат, содержащий на три состояния (и шесть переходов) меньше, чем исходный.
СПИСОК ЛИТЕРАТУРЫ
1.Хопкрофт Джон Э., Мотвани Раджив, Ульман Джеффри Д. Введение в теорию автоматов, языков и вычислений, 2-е изд.: Пер.
сангл. – М.: Издательский дом “Вильямс”, 2002. – 528 с.
2.Ахо Альфред В, Лам Моника С., Сети Рави, Ульман Джеффри Д. Компиляторы: принципы, технологии и инструментарий, 2-е изд.: Пер. с англ. – М.: ООО “И.Д. Вильямс”, 2008. – 1184 с.
191
Никита Алексеевич Дмитриев Александр Александрович Дюмин Михаил Николаевич Ёхин Борис Николаевич Ковригин Владимир Георгиевич Тышкевич Лариса Ивановна Шустова Игорь Михайлович Ядыкин
ТЕОРИЯ АВТОМАТОВ
Лабораторный практикум
Учебное пособие
Редактор Е.К. Коцарева
Подписано в печать 15.11.2012. Формат 60х84 1/16
Печ. л. 12,0. Уч.-изд. л. 12,0. Тираж 110 экз.
Изд. № 35/1. Заказ № 49.
Национальный исследовательский ядерный университет «МИФИ». 115409, Москва, Каширское ш., 31
ООО «Полиграфический комплекс «Курчатовский». 144000, Московская область, г. Электросталь, ул. Красная, д. 42