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, =).
Origine : Fichiers produits par l'(les) auteur(s)
Loading...