The Automatic Baire Property and some Effective Properties of $\omega$-Rational Functions

Olivier Finkel (1)

1 ELM - Equipe de Logique Mathématique

We prove that $\omega$-regular languages accepted by B\"uchi or Muller automata satisfy an effective automata-theoretic version of the Baire property. Then we use this result to obtain a new effective property of rational functions over infinite words which are realized by finite state B\"uchi transducers: for each such function $F: \Sigma^\omega \rightarrow \Gamma^\omega$, one can construct a deterministic B\"uchi automaton $\mathcal{A}$ accepting a dense ${\bf \Pi}^0_2$-subset of $\Sigma^\omega$ such that the restriction of $F$ to $L(\mathcal{A})$ is continuous. We also give a new proof of the decidability of the first Baire class for synchronous $\omega$-rational functions from which we get an extension of this result.

Mots clés: Decision problems; regular languages of infinite words; infinitary rational relations; omega rational functions; topology; automatic Baire property; points of continuity; first Baire class; Wadge-Wagner class

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

Olivier Finkel. The Automatic Baire Property and some Effective Properties of $\omega$-Rational Functions. 2020. ⟨hal-01870467v3⟩