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. It is described that the synthesis of algebra formulas of algorithms, and especially the generation of subject unitherms on the basis of abstract ones is an extremely complex and laborious process. Since all elements of the formula are interconnected, all changes in the algorithm’s formula affect its structure. Therefore, this is the main reason for the complexity of the described processes. One aspect of the synthesis of the formulas of the algebra of algorithms is the process of generating subject unitherms based on abstract unitherms. The signs of operations of the algebra of algorithms are briefly described. Mathematical support of the process of synthesis of algorithm algebra formulas is developed, which takes into account vertical and horizontal orientation and type of algorithm algebra formula: text unitherm, sequencing operation, elimination operation, parallel operation and corresponding cyclic sequencing operations, elimination and parallelization, as well as geometric parameters. The process of generating subject unitherms on the basis of abstract ones is previously described. The list of necessary eliminations and sequences for the synthesis of the corresponding formulas is determined. According to the properties of the signs of operations of the algebra of algorithms, the synthesized formulas of the algorithms are minimized by the number of unitherms. Also, in accordance with the properties of the formulas of the algorithms of algebra, the corresponding unitherms are taken out as signs of operations, as a result of which the formula of the algorithm for the synthesis of algorithm formulas is obtained taking into account the generation of subject unitherms based on abstract unitherms.

- 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.