К проблеме сопряженности в полугруппах

В работе доказывается независимость трех алгоритмических проблем для полугрупп: тождества, сопряженности I рода и сопряженности II рода. Для любой пары из них приводятся примеры полугрупп, в которых одна из рассматриваемых проблем разрешима, в то время как другая неразрешима.
Библ. – 5 назв.