К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программстатья