К проблеме делимости для моноидов, заданных одним соотношением

Проблемы распознавания равенства и левой (правой) делимости слов для моноидов с одним определяющим соотношением в общем случае пока остаются открытыми. Известно, что положительное решение этих проблем для любого моноида с одним соотношением сводится к решению проблемы левой (правой) делимости для моноидов, заданных несократимым слева (соответственно, справа) определяющим соотношением. В настоящей работе доказывается разрешимость проблемы распознавания левой делимости и проблемы равенства для моноидов, заданных одним несократимым слева соотношением вида $A=B$ при условии, что $B$ не входит в $A$ и никакое собственное начало (конец) слова $B$ не является концом (соответственно, началом) $A$ или $B$.
Библиография: 7 названий.