On the Wadge Hierarchy of Omega Context Free Languages

Olivier Finkel (1)

1 ELM - Équipe de Logique Mathématique

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_omega, which is the omega-th fixed point of the ordinal exponentiation of base omega and the same result holds for the conciliating Wadge hierarchy, defined by J. Duparc, of infinitary context free languages, studied by D. Beauquier.

Domaines: Logique en informatique [cs.LO]; Logique [math.LO]; Informatique et théorie des jeux [cs.GT]

Olivier Finkel. On the Wadge Hierarchy of Omega Context Free Languages. 2001, pp.69-79. ⟨hal-00114310⟩