Closure Properties of Locally Finite Omega Languages - Computer Science > Logic in Computer ScienceReport as inadecuate




Closure Properties of Locally Finite Omega Languages - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

Abstract: Locally finite omega languages were introduced by Ressayre in Journal ofSymbolic Logic, Volume 53, No. 4, p.1009-1026. They generalize omega languagesaccepted by finite automata or defined by monadic second order sentences. Westudy here closure properties of the family LOC omega of locally finite omegalanguages. In particular we show that the class LOC omega is neither closedunder intersection nor under complementation, giving an answer to a question ofRessayre.



Author: Olivier Finkel ELM

Source: https://arxiv.org/







Related documents