Об одном классе формальных языков

Исследуются языки, являющиеся классами вполне инвариантных конгруэнции на свободных полугруппах конечного ранга. Рассматривается вопрос о совпадении данной вполне инвариантной конгруэнции с синтаксической конгруэнцией изучаемого языка. Если все классы данной вполне инвариантной конгруэнции являются рациональными языками, то соответствующее многообразие называется рациональным. Устанавливается ряд свойств рациональных многообразий, в частности, связь с локально конечными многообразиями.