Аннотация:
Характеризуются с точностью до изоморфизма некоторые булевы алгебры регулярных языков конечных и бесконечных слов, и показывается разрешимость классов регулярных языков, связанных с этими характеризациями.
Ключевые слова:булева алгебра, идеал Фреше, регулярный язык, апериодический язык, квази-апериодический язык, $d$-квази-апериодический язык, $\omega$-регулярный язык, $\omega$-апериодический язык.
Полный текст:
PDF файл (335 kB)
