Problems of synthesis and analysis of the system behaviour control theory on the basis of functional redundancy properties for the class of group automata

The possibility of controlling the behaviour of the discrete type systems on the basis of functional redundancy properties is investigated. To form the required output combination of reactions only the properties of the current law of functioning due to the time reserve available at the given moment or artificially created are used for this type of control. A finite determinate automaton is considered as a mathematical model of the system, while the theory of universal enumerating automata is used as the basis for solving the problem. The paper presents a solution of synthesis and analysis problem of the universal automata theory for the class of group automata. A free distributed function library for working with group automata is developed and described.