A note on Automatic Baire property
Formal Languages and Automata Theory
2025-11-11 v2
Abstract
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 of 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 .
Cite
@article{arxiv.2505.18626,
title = {A note on Automatic Baire property},
author = {Ludwig Staiger},
journal= {arXiv preprint arXiv:2505.18626},
year = {2025}
}