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