Введение
Глава 1. Постановка задач диссертационного исследования. Исследование новой классификации автоматов. Выбор подклассов для исследования минимизации универсального тестирования 15
1.1. Постановка задач минимизации универсальных тестов 15
1.2. Описание используемой классификации конечных детерминированных автоматов 19
1.3. Выбор подклассов для исследования минимизации универсальных тестов 33
1.4. Некоторые замечания о выборе классов для исследования 47
Глава 2. Минимизация универсальных тестов в исследуемых подклассах 51
2.1. Исследование структуры универсальных тестов 51
2.2. Построение двух вариантов универсальных тестов для исследования .55
2.3. Сокращение универсальных тестов в выбранных подклассах 57
2.4. Минимальные универсальные тесты в подклассе линейных (4,2,2) -автоматов 61
Глава 3. Универсальное тестирование компоненты структурного автомата 63
3.1. Общие положения структурной теории автоматов 63
3.2. Задача тестирования компоненты структурного автомата 65
3.3. Трансляция универсального теста в последовательной композиции автоматов 68
Заключение 72
Список литературы 74
Приложение 1 79
Приложение 2 99
Приложениез 109
Приложение 4 114
Приложение 5 116
