Проверка эквивалентности трансдьюсеров над полугруппой целочисленных векторов.доклад на конференции