О проблеме эквивалентности недетерминированных автоматов-преобразователей над однобуквенным выходным алфавитомтезисы доклада