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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A Note on Automatic Baire Property

Ludwig Staiger
International Journal of Foundations of Computer Science
semigroups and automata theory
article

A Note on Automatic Baire Property

Ludwig Staiger
article en

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 [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].

International Journal of Foundations of Computer Science
Martin Luther University Halle-Wittenberg (DE)
Openalex Percentile: Top 52%
semigroups and automata theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A Note on Automatic Baire Property — Ludwig Staiger · International Journal of Foundations of Computer Science (2026) | TGRS Research Map | TGRS