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

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

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

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

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

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

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

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

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

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

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

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

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

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

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