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

Исследуется возможность управления поведением систем дискретного типа на основе свойств функциональной избыточности. При данном типе управления для формирования на выходах требуемой совокупности реакций используются только свойства текущего закона функционирования за счет имеющегося в данный конкретный момент или искусственно создаваемого резерва времени. В качестве математической модели системы рассматривается конечный детерминированный автомат, а в качестве основы для решения задачи - теория универсальных автоматов-перечислитлей. В работе приведено решение задач синтеза и анализа теории универсальных автоматов для класса групповых автоматов. Разработана и описана свободно распространяемая библиотека функций для работы с групповыми автоматами.