Descriptive Set Theory and ω-Powers of Finitary Languages

07/15/2020
by   Olivier Finkel, et al.
0

The ω-power of a finitary language L over a finite alphabet Σ is the language of infinite words over Σ defined by L ∞ := w 0 w 1. .. ∈ Σ ω | ∀i ∈ ω w i ∈ L. The ω-powers appear very naturally in Theoretical Computer Science in the characterization of several classes of languages of infinite words accepted by various kinds of automata, like Büchi automata or Büchi pushdown automata. We survey some recent results about the links relating Descriptive Set Theory and ω-powers.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset