|
Алгебра и логика, 2013, том 52, номер 6, страницы 676–711
(Mi al614)
|
|
|
|
Булевы алгебры регулярных языков
А. С. Коновалов, В. Л. Селиванов Ин-т систем информ. им. А. П. Ершова СО РАН, пр. Лаврентьева, 6, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Характеризуются с точностью до изоморфизма некоторые булевы алгебры регулярных языков конечных и бесконечных слов, и показывается разрешимость классов регулярных языков, связанных с этими характеризациями.
Ключевые слова:
булева алгебра, идеал Фреше, регулярный язык, апериодический язык, квази-апериодический язык, $d$-квази-апериодический язык, $\omega$-регулярный язык, $\omega$-апериодический язык.
Поступило: 12.02.2013
Образец цитирования:
А. С. Коновалов, В. Л. Селиванов, “Булевы алгебры регулярных языков”, Алгебра и логика, 52:6 (2013), 676–711; Algebra and Logic, 52:6 (2014), 448–470
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al614 https://www.mathnet.ru/rus/al/v52/i6/p676
|
Статистика просмотров: |
Страница аннотации: | 271 | PDF полного текста: | 105 | Список литературы: | 57 | Первая страница: | 15 |
|