Closure Properties of Locally Finite Omega Languages - Computer Science > Logic in Computer ScienceReportar como inadecuado




Closure Properties of Locally Finite Omega Languages - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Olivier Finkel ELM

Fuente: https://arxiv.org/







Documentos relacionados