Полиномиальный алгоритм проверки эквивалентности слабо недетерминированных автоматов-преобразователейдоклад на конференции