Yanov schemata

Yanov schemata --- схемы Янова.

Yanov schemata were introduced by A.A. Lyapunov and Yu.I. Yanov in 1956. A complete presentation of results was described in paper Yu.I. Yanov. On logical algorithm schemata, Cybernetics Problems, 1, Fizmatgiz, Moscow, 1958. It became a classical work owing to its completeness: all the basic components of the theory of program transformations were explicitly formulated and, within the constructed system of concepts, were completely studied. Among these components are: formalization of the concepts of program schemata, assignment of the equivalence relation, determination of the algorithm recognizing schemata equivalence and, finally, construction of the system of equivalent transformations which is complete in the sense that any pair of equivalent schemas can be transformed into each other by successive applications of these transformations retaining the equivalence.