О построении алгоритмов полиномиальной сложности, распознающих эквивалентность в алгебраических моделях программтезисы доклада