A Note on Automatic Baire Property
Automatic Baire property is a variant of the usual Baire property which is fulfilled for subsets of the Cantor space accepted by finite automata. We consider the family [Formula: see text] of all subsets of the Cantor space having the Automatic Baire property. In particular we show that not all finite subsets have the Automatic Baire property, and that already a slight increase of the computational power of the accepting device may lead beyond the class [Formula: see text].
Authors
- Ludwig Staiger (ORCID: https://orcid.org/0000-0003-3810-9303)
Institutions
- Martin Luther University Halle-Wittenberg (DE)
Publication Details
- Journal
- International Journal of Foundations of Computer Science
- Published
- 2026-02-14
- DOI
- https://doi.org/10.1142/s0129054126500048
- Primary Topic
- semigroups and automata theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00