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