English

Regular tree languages in low levels of the Wadge Hierarchy

Formal Languages and Automata Theory 2023-06-22 v4

Abstract

In this article we provide effective characterisations of regular languages of infinite trees that belong to the low levels of the Wadge hierarchy. More precisely we prove decidability for each of the finite levels of the hierarchy; for the class of the Boolean combinations of open sets BC(Σ10)BC(\Sigma_1^0) (i.e. the union of the first ω\omega levels); and for the Borel class Δ20\Delta_2^0 (i.e. for the union of the first ω1\omega_1 levels).

Keywords

Cite

@article{arxiv.1806.02041,
  title  = {Regular tree languages in low levels of the Wadge Hierarchy},
  author = {Mikołaj Bojańczyk and Filippo Cavallari and Thomas Place and Michał Skrzypczak},
  journal= {arXiv preprint arXiv:1806.02041},
  year   = {2023}
}