Handbook of theoretical computer science (vol. B)
Handbook of formal languages, vol. 3
Topological properties of omega context-free languages
Theoretical Computer Science
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Logical Specifications of Infinite Computations
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Borel hierarchy and omega context free languages
Theoretical Computer Science
Hi-index | 0.00 |
ω-powers of finitary languages are ω-languages in the form V ω, where V is a finitary language over a finite alphabet Sigma. Since the set Σ ω of infinite words over Σ can be equipped with the usual Cantor topology, the question of the topological complexity of ω-powers naturally arises and has been raised by Niwinski [13], by Simonnet [15], and by Staiger [18]. It has been proved in [14] that for each integer n≥1, there exist some ω-powers of context free languages which are Π n 0-complete Borel sets, and in [5] that there exists a context free language L such that L ω is analytic but not Borel. But the question was still open whether there exists a finitary language V such that V ω is a Borel set of infinite rank. We answer this question in this paper, giving an example of a finitary language whose ω-power is Borel of infinite rank.