Closure Properties of Locally Finite Omega Languages
Logic in Computer Science
2008-12-18 v1 Logic
Abstract
Locally 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.
Keywords
Cite
@article{arxiv.0803.1842,
title = {Closure Properties of Locally Finite Omega Languages},
author = {Olivier Finkel},
journal= {arXiv preprint arXiv:0803.1842},
year = {2008}
}