Введение
1 Введение 4
1.1 Исторический обзор, актуальность и новизна темы 4
1.2 Применяемые обозначения 12
1.3 Структура диссертационной работы 17
Базисные автоматы – определения... 21
2.1 Дополнительные определения и обозначения 21
2.2 Базисный автомат – определение 22
2.3 Функции разметки состояний 23
2.4 Первый пример построения... 27
2.5 Основное утверждение... 31
2.6 Однозначность базисного автомата 34
2.7 Свойство допускающего пути произвольного НКА . . 38
2.8 Примеры построения базисного автомата 39
2.9 Альтернативный алгоритм... 46
3 Свойства базисных автоматов 50
3.1 Свойства функций разметки 51
3.2 Варианты алгоритмов объединения состояний 53
3.3 Примеры применения... 55
3.4 Изменение значений функций разметки... 58
3.5 Свойства входных и выходных языков 60
3.6 Ещё раз о бинарном отношении # 64
4 Задачи минимизации ... 71
4.1 Блоки и псевдоблоки 72
4.2 Множество возможных дуг 74
4.3 Первый алгоритм дуговой минимизации 80
4.4 Второй алгоритм дуговой минимизации 86
5 Заключение 89
Литература
