Аннотация:
Характеризуются с точностью до изоморфизма некоторые булевы алгебры регулярных языков конечных и бесконечных слов, и показывается разрешимость классов регулярных языков, связанных с этими характеризациями.
Ключевые слова:
булева алгебра, идеал Фреше, регулярный язык, апериодический язык, квази-апериодический язык, d-квази-апериодический язык, ω-регулярный язык, ω-апериодический язык.
Образец цитирования:
А. С. Коновалов, В. Л. Селиванов, “Булевы алгебры регулярных языков”, Алгебра и логика, 52:6 (2013), 676–711; Algebra and Logic, 52:6 (2014), 448–470