Closure Properties of Locally Finite Omega Languages
Finkel, Olivier
HAL, hal-00104203 / Harvested from HAL
Text on HAL
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.
Publié le : 2004-07-05
Classification:  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00104203,
     author = {Finkel, Olivier},
     title = {Closure Properties of Locally Finite Omega Languages},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00104203}
}

Finkel, Olivier. Closure Properties of Locally Finite Omega Languages. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00104203/