Wadge Hierarchy of Omega Context Free Languages
Finkel, Olivier
HAL, hal-00102489 / Harvested from HAL
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 epsilon_0, and the same result holds for the conciliating Wadge hierarchy, defined by J. Duparc, of infinitary context free languages, studied by D. Beauquier. In the course of our proof, we get results on the Wadge hierarchy of iterated counter omega languages, which we define as an extension to omega languages of classical (finitary) iterated counter languages.
Publié le : 2001-07-05
Classification:  omega context-free languages,  topological properties,  Wadge hierarchy,  conciliating Wadge hierarchy,  infinitary context-free languages,  iterated counter omega languages,  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00102489,
     author = {Finkel, Olivier},
     title = {Wadge Hierarchy of Omega Context Free Languages},
     journal = {HAL},
     volume = {2001},
     number = {0},
     year = {2001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00102489}
}
Finkel, Olivier. Wadge Hierarchy of Omega Context Free Languages. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00102489/