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