arrow
Return

A Note on Automatic Baire Property

delete2026-02-01
delete0
PRE
AI
L
Ludwig Staiger *
DOI:10.1142/S0129054126500048delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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 & Ascr; 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 & Ascr;.
Keywords:
omega-languages
omega-automata
Cantor space
Baire category
measure

Journal

I
International Journal of Foundations of Computer Science
IF:
0.6
Papers:
46
Citations:
0

Organization

M
martin luther university halle wittenberg
Scholars:
1.0K
Papers: 471
Citations: 0