replacement

In the article the authors have developed a mathematical support for the process of generating subject unitherms of formulas of algebra of algorithms. The analysis of features of construction of formulas of algebra of algorithms as a result of which it was found out, that today, subsystems with realization of processes of generation of subject unitherms on the basis of abstract unitherms with the subsequent adaptation of formulas are not realized in known systems that served as stimulus to intellectual analysis formulas of algebra of algorithms.

In the article, the authors have developed mathematical support for the process of replacement of algebra algorithms. The analysis of peculiarities of algebra algebra formulas analysis was carried out. As a result, it turned out that today subsystems with the implementation of the formulas replacement algorithms with the subsequent adaptation of the formulas are not implemented in known systems, which served as an impetus for the intellectual analysis of the algebra algebra replacement process.