Abstract:
The offered work is aimed at eradication of shortcomings of the Sequences of the Derivation (SD) inherent in programs of computers. The establish of the problem and the previous researches SD make the content of works [10-12]. At the final stage of this article SD are replaced with algebraic expressions wich is Functionally Equivalent (FE) to them on which entrance the same Functional Dependences (FD), as in initial SD. The result of work answering her purpose contains in the Theorem 3.