Continuous Separation of Game Languages

  • Authors:

  • André Arnold;Damian Niwiński

  • Affiliations:

  • LaBRI, University of Bordeaux I, France. E-mail: arnold@labri.fr;Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warszawa, Poland. E-mail: niwinski@mimuw.edu.pl

  • Venue:
  • Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that a family of tree languages W_{(l,k)}, previouslyused by J. Bradfield, and by the first author to show thestrictness of the Rabin¨CMostowski index hierarchy ofalternating tree automata, forms a hierarchy w.r.t. theWadgereducibility. That is, W_{(l,k) ⩽_W W_{(l',k')} if and onlyif the index (l', k') is above (l, k). This is one of the fewseparation results known so far, concerning the topologicalcomplexity of non-deterministically recognizable tree languages,and one of the few results about finite-state recognizablenon-Borel sets of trees.