Введение ........................................................ 3

ГЛАВА 1. Анализ моделей, методов и задач математического 
моделировании функционально избыточных дискретных систем ....... 11
1.1  Общая характеристика математических моделей функционально
     избыточных дискретных систем .............................. 13
1.2  Основные задачи математического моделирования 
     функционально избыточных дискретных систем ................ 25
1.3  Схема реализации требуемых поведений функционально 
     избыточной дискретной системы ............................. 31
1.4  Общая схема решения задач определения функциональной 
     избыточности системы и проектирования функционально 
     избыточной системы ........................................ 45

ГЛАВА 2. Математические модели функционально избыточных
дискретных систем, допускающих числовое моделирование .......... 60
2.1  Числовая модель дискретной системы ........................ 61
2.2  Исследование свойств числовой модели ...................... 72
2.3  Способы доопределения математических моделей для систем, 
     не допускающих числовое моделирование ..................... 85
2.4  Задачи определения функциональной избыточности и 
     проектирования для класса систем, допускающих числовое
     моделирование ............................................. 89
2.5  Метод построения восстанавливающей последовательности 
     для класса систем, допускающих числовое моделирование .... 101

ГЛАВА 3. Математические модели функционально избыточных 
систем без потери информации .................................. 106
3.1  Математическая модель дискретных систем без потери 
     информации ............................................... 108
3.2  Задачи определения функциональной избыточности и
     проектирования для класса систем без потери информации 
     с заданным числом состояний .............................. 115
3.3  Задачи определения функциональной избыточности и 
     проектирования для произвольного семейства систем без 
     потери информации с заданным числом состояний ............ 136
3.4  Метод построения восстанавливающей последовательности 
     для класса систем без потери информации .................. 142

ГЛАВА 4. Математические модели функционально избыточных
регистров различных типов ..................................... 149
4.1  Методы построения восстанавливающих последовательностей
     для регистров различных типов ............................ 151
4.2  Задача проектирования функционально избыточных 
     регистров различных типов ................................ 179

ГЛАВА 5. Проектирование функционально избыточной программной
системы ....................................................... 185
5.1  Основные принципы автоматного программирования ........... 187
5.2  Схемы проектирования функционально избыточной 
     программной системы на основе автоматной модели .......... 193
 
Заключение .................................................... 211
Библиографический список ...................................... 213
Приложения:	
Приложение 1. Доказательства утверждений ...................... 223
Приложение 2. Комплекс программ GroupAutomata для работы с 
     групповыми автоматами .................................... 237
Приложение 3. Листинги автоматных программ .................... 256