Deciding the topological complexity of Büchi languages *
Résumé
We study the topological complexity of languages of Büchi automata on infinite binary trees. We show that such a language is either Borel and WMSO-definable, or Σ 1 1-complete and not WMSO-definable; moreover it can be algorithmically decided which of the two cases holds. The proof relies on a direct reduction to deciding the winner in a finite game with a regular winning condition.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...