Классификация относительно регулярных алгебр
Автор: Шиманогов И.Н., Вялый М.Н.
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Математика
Статья в выпуске: 4 (64) т.16, 2024 года.
Бесплатный доступ
Рассматривается обобщение задачи регулярной реализуемости. Вводится понятие относительно регулярных булевых алгебр - булевых алгебр, состоящих из пересечений регулярных языков с некоторым фиксированным языком. Доказывается теорема о том, что для произвольной атомной булевой алгебры существует изоморфная ей относительно регулярная алгебра.
Булевы алгебры, регулярные языки, регулярная реализуемость
Короткий адрес: https://sciup.org/142243515
IDR: 142243515
Список литературы Классификация относительно регулярных алгебр
- Гончаров С. С. Счетные булевы алгебры и разрешимости Новосибирск: Научная Книга, 1996.
- Вялым М.Н. О задачах регулярной реализуемости // Проблемы передачи информации. 2011. Т. 47, вып. 4. С. 43-54. EDN: DGXSKS
- Вялый М.Н. О выразителвной силе задач регулярной реализуемости // Проблемы передачи информации. 2013. Т. 49, вып. 3. С. 86-104. EDN: QDDZSG
- Frankiewicz R., Zbierski Р. Hausdorff Gaps and Limits // Studies in Logic and the Foundations of Mathematics. 1994. V. 132. P. 63-92.
- Downey R., Jockusch C.G. Effective present ability of Boolean algebras of Cantor-Bendixson rank 1 //The Journal of Symbolic Logic 1999. V. 64(1). P. 45-52.
- Pin J.-E. Handbook of automata theory. Volume I: Theoretical foundations. Berlin: European Mathematical Society, 2021.
- Selivanov V., Konovalov A. Boolean Algebras of Regular Languages // Algebra and Logic. 2011. V. 52. P. 386-396.
- Vyalyi M. On models of a nondeterministic computation // CSR 2009. Springer: Berlin Heidelberg. 2009. P. 334-345.
Статья научная
