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.

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages $\omega$-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles $\omega$-réguliers correspondent précisément aux langages reconnaissables par des $\omega$-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description...