The wadge hierarchy of max-regular languages

DOI10.4230/LIPICS.FSTTCS.2009.2312zbMATH Open1248.68286OpenAlexW2144685876MaRDI QIDQ2920119FDOQ2920119

Authors: Jérémie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak 

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0ac4.html

Recommendations

• Weak MSO with the unbounding quantifier
• Weak MSO with the unbounding quantifier
• Regular tree languages in low levels of the Wadge hierarchy
• FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES
• Fine Hierarchy of Regular Aperiodic ω-Languages

zbMATH Keywords

Wadge hierarchymax-regular languagesWagner hierarchy

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Cited In (3)

• Delay games with WMSO+U winning conditions
• Weak MSO with the unbounding quantifier
• Wadge-Wagner hierarchies

This page was built for publication: The wadge hierarchy of max-regular languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2920119)