Исследуется проблема равенства слов для свободных берисайдовых полугрупп с тождеством x~2 = x~3. Показывается, что решение проблемы равенства слов для такой полугруппы В(2,1, k) ранга k может быть сведено к решению соответствующей проблемы для полугруппы В(2,1, 2) ранга 2. Кроме того, если все элементы полугруппы В(2,1, 2) являются рациональными языками, то и все элементы полугруппы В(2,1, k) также являются рациональными языками. Таким образом, гипотеза Бжозовского справедлива для полугруппы В(2,1, k) тогда и только тогда, когда она справедлива для В(2, 1, 2).
展开▼