The Automatic Baire Property and an Effective Property of $\omega$-Rational Functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Résumé

We prove that ω-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 new effective property of rational functions over infinite words which are realized by finite state Büchi transducers: for each such function F : Σ^ω → Γ^ω , one can construct a deterministic Büchi automaton A accepting a dense Π^0_2-subset of Σ^ω such that the restriction of F to L(A) is continuous.
Fichier principal
Vignette du fichier
Final-version-Effective-properties-rational-functions.pdf (320.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02383536 , version 1 (27-11-2019)

Identifiants

  • HAL Id : hal-02383536 , version 1

Citer

Olivier Finkel. The Automatic Baire Property and an Effective Property of $\omega$-Rational Functions. 14th International Conference on Language and Automata Theory and Applications - LATA 2020, Mar 2020, Milan, Italy. pp.303-314. ⟨hal-02383536⟩
112 Consultations
39 Téléchargements

Partager

Gmail Facebook X LinkedIn More