ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Theoretical Computer Science
Volume 299, Issues 1-3, 18 April 2003, Pages 327-346
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (295 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/S0304-3975(02)00327-4    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2002 Elsevier Science B.V. All rights reserved.

On omega context free languages which are Borel sets of infinite rank

Olivier FinkelE-mail The Corresponding Author

Equipe de Logique Mathématique CNRS et Université Paris 7, U.F.R. de Mathématiques 2 Place Jussieu 75251, Paris cedex 05, France

Received 1 May 2001; 
revised 15 March 2002; 
accepted 26 March 2002;
Communicated by D. Perrin 
Available online 7 June 2002.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

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, 262 (1–2) (2001) 669–697) 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).

Author Keywords: Omega context free languages; Topological properties; Borel hierarchy


 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.