Abstract
The main result of this paper is that the length of the Wadge hierarchy of omega context-free languages is greater than the Cantor ordinal ε 0 , and the same result holds for the conciliating Wadge hierarchy, defined by Duparc (J. Symbolic Logic, to appear), of infinitary context-free languages, studied by Beauquier (Ph.D. Thesis, Université Paris 7, 1984). In the course of our proof, we get results on the Wadge hierarchy of iterated counter ω-languages, which we define as an extension of classical (finitary) iterated counter languages to ω-languages.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
