Acceptance Conditions for ω-Languages

Abstract : This paper investigates acceptance conditions for nite au-tomata recognizing ω-regular languages. Their expressive power and their position w.r.t. the Borel hierarchy is also studied. The full characterization for the conditions (ninf,), (ninf, ⊆) and (ninf, =) is given. The nal section provides a partial characterization of (f in, =).
Type de document :
Communication dans un congrès
Developments in Language Theory, Aug 2012, Taipei, Taiwan. Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings, 7410, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31653-1_29〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01297584
Contributeur : Julien Provillard <>
Soumis le : lundi 4 avril 2016 - 15:00:28
Dernière modification le : samedi 9 avril 2016 - 17:51:09
Document(s) archivé(s) le : mardi 5 juillet 2016 - 14:43:52

Fichier

DLT_2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Alberto Dennunzio, Enrico Formenti, Julien Provillard. Acceptance Conditions for ω-Languages. Developments in Language Theory, Aug 2012, Taipei, Taiwan. Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings, 7410, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31653-1_29〉. 〈hal-01297584〉

Partager

Métriques

Consultations de
la notice

68

Téléchargements du document

28