Проблемы включения и неоднозначности для регулярных событий в полугруппах

Рассматривается проблема включения $L\subseteq M$ регулярных событий конечно порожденной полугруппы $S$, где $S=\Sigma^+\times S_2$ – прямое произведение свободной полугруппы $\Sigma^+$ прямое произведение свободной полугруппы $S_2$, вложимой в группу с разрешимой проблемой тождества. Доказана разрешимость указанной проблемы включения в случае, когда $L$ – любое, а $M$ – конечно-неоднозначное регулярное событие полугруппы $S$. Каждое конечно-неоднозначное регулярное событие $M$ полугруппы $S=\Sigma^+\times S_2$ представимо в виде конечного объединения однозначных регулярных событий, если $S_2$ – группа. Для последовательностных преобразователей над сверхсловами доказана разрешимость проблемы конечной неоднозначности.