Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программстатья