On program schemata equivalence

摘要

Some problems related to the class of program schemata introduced by R. M. Karpand R. M. Miller in paper [1] are solved in this paper.The method of the proof implemented in the paper allows us to obtain a negativesolution of the existence problem of an algorithm for equivalence recognition for a wide class of program schemata which can be reduced to the above class, and for a wide class of equivalence definitions.