Підсистема знищення формул алгоритмів
This article is about the determination of the process of deleting formulas of algorithms. The algorithm of computer deleting of formulas of algorithms was given. Synthesized, minimizing the mathematical model was synthesized, minimized and the algorithm of deleting of formulas of abstract algorithms was studied.