Аннотация:Предложены алгоритмы проверки эквивалентности для временных детерминированных и недетерминированных трансдьюсеров (автоматов-преобразователей) с охранами и для соответствующих автоматов-распознавателей с обоснованием корректности и оценкой сложности.