Closure Properties of Locally Finite Omega Languages

Simple item page
dc.creatorFinkel, Olivier
dc.date2008-03-12
dc.date.accessioned2026-07-07T12:17:36Z
dc.date.available2026-07-07T12:17:36Z
dc.descriptionLocally finite omega languages were introduced by Ressayre in [Journal of Symbolic Logic, Volume 53, No. 4, p.1009-1026]. They generalize omega languages accepted by finite automata or defined by monadic second order sentences. We study here closure properties of the family LOC_omega of locally finite omega languages. In particular we show that the class LOC_omega is neither closed under intersection nor under complementation, giving an answer to a question of Ressayre.
dc.identifierhttps://arxiv.org/abs/0803.1842
dc.identifierhttp://arxiv.org/abs/0803.1842
dc.identifierTheoretical Computer Science 322 (1) (2004) 69-84
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/212132
dc.subjectLogic in Computer Science
dc.subjectLogic
dc.titleClosure Properties of Locally Finite Omega Languages
dc.typetext

Files

Collections

arXiv