Université de Lausanne

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

Cabessa, Jérémie ; XXX, xxx (Dir.)

Thèse de doctorat : Université de Lausanne, 2007.

The Wagner hierarchy is known so far to be the most refined topological classification of $\omega$-rational languages. Also, the algebraic study of formal languages shows that these $\omega$-rational sets correspond precisely to the languages recognizable by finite pointed $\omega$-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy....