Разработка фреймово-продукционной модели синтеза цифровых автоматов на основе метода спецификации состояний и ее программная реализация средствами реляционной СУБД

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
Глава 1. НОВЫЕ ТЕНДЕНЦИИ В ОБЛАСТИ АБСТРАКТНОГО
СНТЕЗА АВТОМАТОВ.
1.1. Классификация основных методов
1.2. Формальные методы.
1.3. Неформальные методы.
1.4. Метод синтеза, основанный на спецификации состояний
1.5. Выводы по первой главе.
Глава 2. ФРЕЙМОВОПРОДУКЦИОННАЯ МОДЕЛЬ СИНТЕЗА
АВТОМАТОВ.
2.1. Синтез автомата как задача искусственного интеллекта.
2.2. Предлагаемая модель. Область вне лабиринтов
2.3. Предлагаемая модель. Области лабиринтов. Заключительный
2.4. Выводы по второй главе.
Глава 3. ВОПРОСЫ ПРОГРАММНОЙ РЕАЛИЗАЦИИ
ПРЕДЛАГАЕМОЙ МОДЕЛИ.
3.1. Задачи исследования
3.2. Пример погружения модели в среду i
3.3. Язык присоединенных процедур и его реализация
3.4. Реализация системных процедур модели синтеза автоматов
3.5. Расширение функциональных возможностей системы.
3.6. Выводы по третьей главе
Глава 4. ИССЛЕДОВАТЕЛЬСКАЯ ВЕРСИЯ РАЗРАБОТАННОЙ
ИНТЕРАКТИВНОЙ СИСТЕМЫ СИНТЕЗА АВТОМАТОВ
4.1. Программная система
4.2. Результаты тестирования
4.3. Руководство пользователя.
4.4. Пример задания на синтез автомата
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЯ