A Tentative Approach for the Wadge-Wagner Hierarchy of Regular Tree Languages of Index [0, 2]
Détails
ID Serval
serval:BIB_A65D905A2D05
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
A Tentative Approach for the Wadge-Wagner Hierarchy of Regular Tree Languages of Index [0, 2]
Titre de la conférence
Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015
Editeur
Springer, Cham
Adresse
Waterloo, ON, Canada
ISBN
978-3-319-19224-6
978-3-319-19225-3
978-3-319-19225-3
Statut éditorial
Publié
Date de publication
2015
Peer-reviewed
Oui
Volume
9118
Série
Lecture Notes in Computer Science
Pages
81-92
Langue
anglais
Notes
DBLP:conf/dcfs/DuparcF15
June 25-27, 2015. Proceedings
June 25-27, 2015. Proceedings
Résumé
We provide a hierarchy of tree languages recognised by nondeterministic parity tree automata with priorities in {0,1,2} , whose length exceeds the first fixed point of the ε operation (that itself enumerates the fixed points of x↦ω^x ). We conjecture that, up to Wadge equivalence, it exhibits all regular tree languages of index [0,2] .
Site de l'éditeur
Création de la notice
06/04/2016 18:18
Dernière modification de la notice
08/07/2021 6:36
Données d'usage
