RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1998, том 37, номер 4, страницы 478–492 (Mi al2442)

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

Е. В. Суханов, А. М. Шур

Уральский государственный университет, г. Екатеринбург

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

УДК: 512.53

Поступило: 26.02.1998


 Англоязычная версия: DOI: 10.1007/BF02671630

Реферативные базы данных:


© МИАН, 2024