Введение
Глава 1. Классификация конечных детерминированных автоматов и алгебра композиции автоматов
1.1. Классификация конечных автоматов по свойствам комбинационных частей 14
1.2. Алгебра композиции автоматов 25
1.3. Свойства классов автоматов, как свойства их комбинационных компонент 35
Глава 2. Установочная задача для автоматов, метод распознавания автомата с зацикливанием изменений состояний
2.1. Необходимое и достаточное условие существования решения установочной задачи 44
2.2. Функционирование автомата с изменениями состояний в циклах 48
2.3. Математическая модель процесс зацикливания автомата 58
Глава 3. Метод решения установочной задачи на основе изменений состояний в цикле
3.1. Матричный метод построения решения установочной задачи 64
3.2. Теорема о связи решения установочной задачи для модели зацикливания автомата 68
3.3. Метод построения циклов графа Gp 78
Глава 4. Достаточные условия для выбора периодических последовательностей, методы зацикливания
4.1. Множество конституэнт единицы комбинационной части автомата и пары автоматов 87
4.2. Граф, определяющий совмещение конституэнт единицы в функциях переходов и выходов автоматов 93
4.3. Достаточные условия для распознавания автоматов методом зацикливания 103
Заключение 111
Список литературы 112
Приложение 117
