International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Tree automata, Mu-Calculus and determinacy
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
The Borel hierarchy is infinite in the class of regular sets of trees
Theoretical Computer Science
Languages, automata, and logic
Handbook of formal languages, vol. 3
The modal mu-calculus alternation hierarchy is strict
Theoretical Computer Science
A Hierarchy Theorem for the µ-Calculus
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Simplifying the Modal Mu-Calculus Alternation Hierarchy
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
A gap property of deterministic tree languages
Theoretical Computer Science - Logic and complexity in computer science
Automata logics, and infinite games: a guide to current research
Automata logics, and infinite games: a guide to current research
The wadge hierarchy of deterministic tree languages
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
We show that a family of tree languages W$_{(l,k)}$, previously used by J. Bradfield, and by the first author to show the strictness of the Rabin¨CMostowski index hierarchy of alternating tree automata, forms a hierarchy w.r.t. theWadge reducibility. That is, W$_{(l,k)$ ⩽$_W$ W$_{(l',k')}$ if and only if the index (l', k') is above (l, k). This is one of the few separation results known so far, concerning the topological complexity of non-deterministically recognizable tree languages, and one of the few results about finite-state recognizable non-Borel sets of trees.