Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales (Q5947813)

General principles of projecting of effective algorithms to resoudre a problem of equivalency of calculating programs with a method of so-called criterial systems is discussed. A new approach to the problem of searching of quick algorithms for the decidability of equivalence of proportional operator programs is proposed. An application of the results obtained is demonstrated by an example of the problem of the equivalency for a class of the operational scheme programs with a structural memory.