Метод сокращенных таблицдля генерации автоматовс большим числом входных воздействий

Метод сокращенных таблиц
для генерации автоматов
с большим числом входных воздействий
Генетическое
Программирование
Автоматное
Программирование

Проблема
Генетическое
Программирование
Автоматизация разработки
Низкий уровень
абстракции
+
-

Проблема
Автоматное
Программирование
Произвольный уровень абстракции
Отсутствие автоматизации
+
-

Проблема
Автоматизация разработки
Произвольный уровень абстракции
Генетическая генерация автоматов
Экспоненциальный рост хромосом
с увеличением числа
входных переменных
+
-

Стандартное представление состояния: полная таблица
Хромосома состояния для двух входов

Стандартное представление состояния: полная таблица
Хромосома состояния для двух входов
22

Стандартное представление состояния: полная таблица
25
Хромосома состояния для пяти входов

Задача
Разработать эффективный метод
генерации автоматов
с большим числом входов

Предлагаемое представление состояния: сокращенная таблица
Хромосома состояния для двух из шести входов

Реализация метода

Применение метода

Эффективность метода