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.
The processes of transforming the algorithm algebra formulas are described. The algorithm for calculation of geometrical parameters of unithrams is given. Synthesized, minimized, built a mathematical model and investigated the algorithm of the transformation process of algebra algorithm formulas.
This article is about determination of process of collapsing and expanding of algebra algorithms formulas. Synthesized, minimized, and built mathematical model of adaptation process and expanding and collapsing processes.
This article is about determination of process of adaptation, data structure of algorithms editor. Mathematical model of data structure of algorithms editor, hierarchical-modular construction principle of editor, of adaptation process and expanding and collapsing processes were synthesized, minimized and built.
This article is about determination of properties of unitherms. The algorithm of calculating geometrical parameters of unitherms is introduced. The mathematical model is synthesized. This model is then minimized and built. The algorithm of calculating geometrical parameters of unitherms is probed into.