Введение
1 Введение 5
1.1 Актуальность задачи качественного исследования автоматных моделей и предмет диссертации 5
1.2 Основные определения и обозначения 8
1.3 Цели и структура работы 13
1.4 Научная новизна, практическая значимость и апробация полученных результатов 15
2 Теоретическое и алгоритмическое обеспечение программного комплекса редуктор 17
2.1 Критерии наличия в монотонной модели некоторых динамических свойств 17
2.2 Теоремы редукции 22
2.3 Алгоритмическое обеспечение программного комплекса 23
2.3.1 Основные структуры данных 25
2.3.2 Алгоритм построения гомоморфизмов и синтеза гомоморфных автоматов 28
2.3.3 Алгоритм построения множеств состояний редуцированной системы 33
2.3.4 Алгоритмы вычисления операций над множествами . 37
2.3.5 Алгоритм упрощения логических выражений 40
3 Реализация программного комплекса 46
3.1 Структура программного комплекса 47
3.1.1 Функциональная часть 48
3.1.2 Интерфейсная часть 56
3.2 Реализация программного комплекса 59
3.2.1 Реализация основных алгоритмов 61
3.2.2 Реализация программного интерфейса 62
3.2.3 Реализация вспомогательных алгоритмов 65
3.3 Методика использования 66
4 Применения программного комплекса 69
4.1 Анализ автоматной модели общего вида 69
4.2 Исследование простой автоматной модели экономического взаимодействия 77
Литература 89


