Моноиды с разрешимыми и неразрешимыми классами полигонов

Найдены некоторые достаточные условия наследственной неразрешимости класса $P^S$ всех $S$-полигонов. Доказана разрешимость класса $P^S$, если $S$ – полугруппа левых нулей с присоединенной единицей. Описаны группы $S$, для которых класс $P^S$ разрешим.
Библиогр. 5.