On omega context free languages which are Borel sets of infinite rank
نویسنده
چکیده
This paper is a continuation of the study of topological properties of omega context free languages (ω-CFL). We proved in [Topological Properties of Omega Context Free Languages, Theoretical Computer Science, Volume 262 (1-2), 2001, p. 669697] that the class of ω-CFL exhausts the finite ranks of the Borel hierarchy, and in [Borel Hierarchy and Omega Context Free Languages, Theoretical Computer Science, to appear] that there exist some ω-CFL which are analytic but non Borel sets. We prove here that there exist some omega context free languages which are Borel sets of infinite (but not finite) rank, giving additional answer to questions of Lescow and Thomas [Logical specifications of infinite computations, In:”A Decade of Concurrency” (J. W. de Bakker et al., eds), Springer LNCS 803 (1994), 583-621].
منابع مشابه
An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank
ω-powers of finitary languages are ω-languages in the form V , where V is a finitary language over a finite alphabet Σ. 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 [Niw90], by Simonnet [Sim92], and by Staiger [Sta97b]. It has been proved in [Fin01]...
متن کاملThere Exist Some omega -Powers of Any Borel Rank
The operation V → V ω is a fundamental operation over finitary languages leading to ω-languages. Since the set Σ of infinite words over a finite alphabet Σ can be equipped with the usual Cantor topology, the question of the topological complexity of ω-powers of finitary languages naturally arises and has been posed by Niwinski [Niw90], Simonnet [Sim92] and Staiger [Sta97a]. It has been recently...
متن کاملBorel hierarchy and omega context free languages
We give in this paper additional answers to questions of Lescow and Thomas [Logical Specifications of Infinite Computations, In:”A Decade of Concurrency”, Springer LNCS 803 (1994), 583-621], proving topological properties of omega context free languages (ω-CFL) which extend those of [O. Finkel, Topological Properties of Omega Context Free Languages, Theoretical Computer Science, Vol. 262 (1-2),...
متن کاملen sl - 0 01 57 20 4 , v er si on 1 - 2 5 Ju n 20 07 There exist some ω - powers of any Borel rank
The operation V → V ω is a fundamental operation over finitary languages leading to ω-languages. Since the set Σ of infinite words over a finite alphabet Σ can be equipped with the usual Cantor topology, the question of the topological complexity of ω-powers of finitary languages naturally arises and has been posed by Niwinski [Niw90], Simonnet [Sim92] and Staiger [Sta97a]. It has been recently...
متن کاملAn ω-Power of a Finitary Language Which is a Borel Set of Infinite Rank
ω-powers of finitary languages are ω-languages in the form V , where V is a finitary language over a finite alphabet Σ. 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 [Niw90], by Simonnet [Sim92], and by Staiger [Sta97b]. It has been proved in [Fin01]...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 299 شماره
صفحات -
تاریخ انتشار 2003