 |
|
|
|
| HAL : hal-00139169, version 2 |
| arXiv : 0712.1359 |
| Fiche détaillée |  Récupérer au format |
|
|
| Mathematical Structures in Computer Science 16 (5) (2006) 813-840 |
|
|
| Versions disponibles : | v1 (29-03-2007) | v2 (09-12-2007) |
|
|
|
|
| Borel Ranks and Wadge Degrees of Context Free Omega Languages |
|
|
| Olivier Finkel 1 |
|
|
| (2006) |
|
|
|
| We show that, from a topological point of view, considering the Borel and the Wadge hierarchies, 1-counter Büchi automata have the same accepting power than Turing machines equipped with a Büchi acceptance condition. In particular, for every non null recursive ordinal alpha, there exist some Sigma^0_alpha-complete and some Pi^0_alpha-complete omega context free languages accepted by 1-counter Büchi automata, and the supremum of the set of Borel ranks of context free omega languages is the ordinal gamma^1_2 which is strictly greater than the first non recursive ordinal. This very surprising result gives answers to questions of H. Lescow and W. Thomas [Logical Specifications of Infinite Computations, In:"A Decade of Concurrency", LNCS 803, Springer, 1994, p. 583-621]. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Équipe de Logique Mathématique (ELM) |
|
|
|
CNRS : UMR7056 – Université Paris-Diderot - Paris VII |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Informatique/Informatique et théorie des jeux Informatique/Complexité Informatique/Informatique et langage Mathématiques/Logique |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00139169, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00139169/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00139169_v2 | |
| Contributeur : Olivier Finkel | |
| Soumis le : Dimanche 9 Décembre 2007, 20:59:04 | |
| Dernière modification le : Dimanche 9 Décembre 2007, 21:01:10 | |
