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

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