Some complete $\omega$-powers of a one-counter language, for any Borel class of finite rank - Archive ouverte HAL
Article Dans Une Revue Archive for Mathematical Logic Année : 2021

Some complete $\omega$-powers of a one-counter language, for any Borel class of finite rank

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 924907
Dominique Lecomte
  • Fonction : Auteur
  • PersonId : 840880
  • IdRef : 157131912

Résumé

We prove that, for any natural number n ≥ 1, we can find a finite alphabet Σ and a finitary language L over Σ accepted by a one-counter automaton, such that the ω-power L ∞ := {w 0 w 1. .. ∈ Σ ω | ∀i ∈ ω w i ∈ L} is Π 0 n-complete. We prove a similar result for the class Σ 0 n .
Fichier principal
Vignette du fichier
Finkel-Lecomte revised.pdf (333.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02867587 , version 1 (14-06-2020)

Identifiants

Citer

Olivier Finkel, Dominique Lecomte. Some complete $\omega$-powers of a one-counter language, for any Borel class of finite rank. Archive for Mathematical Logic, 2021, 60 (1-2), pp.161 - 187. ⟨10.1007/s00153-020-00737-4⟩. ⟨hal-02867587⟩
81 Consultations
63 Téléchargements

Altmetric

Partager

More