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