Text this: Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages