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. It is described that the collection and editing of algebra algorithms, and especially editing, is an extremely complex and time-consuming process. This is due to the fact that all changes in the formula formula affect its structure, since all elements of the formula are interconnected. One of the aspects of editing algebra formulas is the process of replacing the algebra formula. Signs of operations of algebra of algorithms are briefly described. The mathematical support for the process of replacement of algorithms of algebra of algorithms is developed, taking into account the vertical and horizontal orientations and the type of formula of algebra of algorithms: text unitherm, sequencing operation, elimination operation, parallel operation and corresponding cyclic sequencing operations, elimination and parallelization. The process of replacing formulas for algebra algorithms is described previously. The list of necessary eliminations and sequences for the synthesis of the corresponding formulas is determined. In accordance with the properties of signs of operations of the algebra of algorithms, we minimized the synthesized formulas of the algorithms by the number of unitherms. Also, according to the properties of the formulas of the algorithms of the algebra, the removal of the corresponding unitherms for the signs of operations is performed, resulting in the formula of the algorithm for describing the process of changing the formulas of the algorithms.
Glushkov, V. (1966). Introduction to cybernetics. Academic Press. https://doi.org/10.21236/AD0633642
Glushkov, V., Iushchenko E., (1966) The Kiev Computer; a Mathematical Description. Translation Division, Foreign Technology Division.
Ovsyak, V., Britkovsky, V., Ovsyak, O., Ovsyak, Y. (2004). Synthesis and study of computer system algorithms. Lviv: World.
Ovsyak. V. (2001). ALGORITHMS: methods of construction, optimization, probability studies. - Lviv: World.
Basyuk, T., Vasilyuk, A., Lytvyn, V. (2019). Mathematical model of semantic search and search optimization // CEUR Workshop Proceedings. - Vol. 2362 : Proceedings of the 3rd International conference on computational linguistics and intelligent systems, COLINS-2019, Kharkiv, Ukraine, 96-105.
Ovsyak, V., Vasilyuk, A. (2004). The principle of construction of the subsystem of editing formulas of abstract algorithms. Computer Printing Technologies. Lviv: UAD, № 12., 137-146.
Vasilyuk, A. (2006) Abstract algorithm of the editor of formulas of abstract algorithms "AbstractAl". Computer printing technologies: Collection of scientific works.. Lviv: UAD,, № 16., 99 -108
Vasilyuk, A., Basyuk, T. (2011). Adaptive synthesis of formulas of algorithms. Bulletin of the National University "Lviv Polytechnic". Series: "Information Systems and Networks", № 715, 3-12.
Vasilyuk, A., Basyuk, T. (2014). The subsystem of the destruction of algorithms formulas. Bulletin of the National University "Lviv Polytechnic". Series: "Information Systems and Networks", № 783, 22-29.
Vasilyuk, A. (2015). Intellectual analysis of data structure and mathematical support for the editor of algorithm formulas. Bulletin of the National University "Lviv Polytechnic". Series: "Information Systems and Networks", № 832, 34-48.
Basyuk, T., Vasyluk, А. (2016). Graph visualization in a heterogeneous environment by means of algebra algorithms. Science and Education a New Dimension. Natural and Technical Sciences. - Hungary: Budapest - IV(10), Issue: 91, 66-72.
Vasilyuk, A., Basyuk, T. (2018). Intellectual analysis of the process of transformation of algorithms of algebra algorithms. Bulletin of the National University "Lviv Polytechnic". Series: "Information Systems and Networks", № 901, 97-102.