Введение
Глава 1. НОВЫЕ ТЕНДЕНЦИИ В ОБЛАСТИ АБСТРАКТНОГО СИНТЕЗА АВТОМАТОВ 7
1.1. Классификация основных методов 7
1.2, Формальные методы 8
1.3. Неформальные методы 9
1.4. Метод синтеза, основанный на спецификации состояний 11
1.5. Выводы по первой главе 26
Глава 2. ФРЕИМОВО-ПРОДУКЦИОННАЯ МОДЕЛЬ СИНТЕЗА АВТОМАТОВ 28
2.1. Синтез автомата как задача искусственного интеллекта 28
2.2. Предлагаемая модель. Область вне лабиринтов 30
2.3. Предлагаемая модель. Области лабиринтов. Заключительный этап 35
2.4. Выводы по второй главе 40
Глава 3. ВОПРОСЫ ПРОГРАММНОЙ РЕАЛИЗАЦИИ ПРЕДЛАГАЕМОЙ МОДЕЛИ 42
3.1. Задачи исследования 42
3.2, Пример погружения модели в среду Microsoft Access 45
3.3. Язык присоединенных процедур и его реализация 49
3.4. Реализация системных процедур модели синтеза автоматов 55
3.5. Расширение функциональных возможностей системы 64
3.6. Выводы по третьей главе 66
Глава 4. ИССЛЕДОВАТЕЛЬСКАЯ ВЕРСИЯ РАЗРАБОТАННОЙ ИНТЕРАКТИВНОЙ СИСТЕМЫ СИНТЕЗА АВТОМАТОВ 68
4.1. Программная система 68
4.2. Результаты тестирования 71
4.3. Руководство пользователя 79
4.4. Пример задания на синтез автомата 93
ЗАКЛЮЧЕНИЕ 97
БИБЛИОГРАФИЯ 98
