Algebraic apparatus of a Sequences of the Derivation

Предлагаемая работа нацелена на искоренение недостатков Последовательностей Вывода ({\bf ПВ}), присущих программам вычислительных машин. Постановка задачи и предшествующие исследования {\bf ПВ} составляют содержание работ [10-12]. На завершающем этапе статьи {\bf ПВ} заменяются Функционально-Эквивалентными ({\bf ФЭ}) им алгебраическими выражениями, на входе в которые имеют место те же Функциональные Зависимости ({\bf ФЗ}), что и в исходных {\bf ПВ}. Результат работы, соответствующий её целям, содержится в Теореме 3. The offered work is aimed at eradication of shortcomings of the Sequences of the Derivation ({\bf SD}) inherent in programs of computers. The establish of the problem and the previous researches {\bf SD} make the content of works [10-12]. At the final stage of this article {\bf SD} are replaced with algebraic expressions wich is Functionally Equivalent ({\bf FE}) to them on which entrance the same Functional Dependences ({\bf FD}), as in initial {\bf SD}. The result of work answering her purpose contains in the Theorem 3.