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


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

56

Téléchargements du document

21