Acceptance Conditions for ω-Languages - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Acceptance Conditions for ω-Languages

Résumé

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, =).
Fichier principal
Vignette du fichier
DLT_2012.pdf (414.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01297584 , version 1 (04-04-2016)

Identifiants

Citer

Alberto Dennunzio, Enrico Formenti, Julien Provillard. Acceptance Conditions for ω-Languages. Developments in Language Theory, Aug 2012, Taipei, Taiwan. ⟨10.1007/978-3-642-31653-1_29⟩. ⟨hal-01297584⟩
103 Consultations
285 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More