Об уравнениях с эндоморфизмами в свободных полугруппах

Для уравнений в свободных полугруппах с тремя образующими доказаны три теоремы о невозможности построения алгоритма, позволяющего установить существование решений с ограничениями, формулируемыми в алгебраических терминах.