Інтелектуальний аналіз процесу заміни формул алгебри алгоритмів

Abstract

Розроблено математичне забезпечення процесу заміни формул алгебри алгоритмів. Проаналізовано особливості побудови формул алгебри алгоритмів, у результаті чого з’ясовано, що сьогодні підсистеми з реалізацією процесів заміни формул алгоритмів з подальшою адаптацією формул не реалізовано у відомих системах, що і стало стимулом до інтелектуального аналізу процесу заміни формул алгебри алгоритмів. Відомо, що набір та редагування формул алгебри алгоритмів, а особливо редагування є надзвичайно складним і трудомістким процесом. Усі зміни в формулі алгоритму впливають на її структуру, оскільки всі елементи формули взаємопов’язані. Один з аспектів редагування формул алгебри алгоритмів – це процес заміни формули алгебри алгоритмів. Коротко описано знаки операцій алгебри алгоритмів. Розроблено математичне забезпечення процесу заміни формул алгебри алгоритмів, що враховує вертикальну та горизонтальну орієнтації і тип формули алгебри алгоритмів: текстовий унітерм, операція секвентування, операція елімінування, операція паралелення і відповідні циклічні операції секвентування, елімінування та паралелення. Попередньо описано процес заміни формул алгебри алгоритмів. Визначено перелік необхідних елімінувань та секвенції для синтезу відповідних формул. Відповідно до властивостей знаків операцій алгебри алгоритмів мінімізовано синтезовані формули алгоритмів за кількістю унітермів. Також відповідно до властивостей формул алгоритмів алгебри винесено відповідні унітерми за знаки операцій, у результаті чого отримано формулу алгоритму опису процесу заміни формул алгоритмів.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.