An Effective Property of $\omega$-Rational Functions

Olivier Finkel

We prove that $\omega$-regular languages accepted by Büchi or Muller automata satisfy an effective automata-theoretic version of the Baire property. Then we use this result to obtain a…