USING MATHEMATICAL MODELS FOR FUNCTIONALLY REDUNDANT DISCRETE SYSTEMS IN THE STUDY OF SOFTWARE АDAPTABI1ITY
The paper is dedicated to the issues of software аdaptabi1ity. A mathematical model is proposed for functionally redundant discrete systems. We use polynomials of a special form for the mathematical model of discrete systems. To simulate functionally redundant discrete systems, we use universal automata that are given by such polynomials. The proposed principles for mathematical modeling of functionally redundant discrete systems can be applied for the study of software аdaptabi1ity provided the software is designed by meqans of the finite-state-machine model. An example of the software for program debugging is analyzed.