1 Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий Автор Научный руководитель В. Н. Точилин А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики Магистерская диссертация

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

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

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

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

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

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

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

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

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

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

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

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

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