局部有限 Omega 语言的闭包性质
计算机科学中的逻辑
2008-12-18 v1 逻辑
摘要
局部有限 omega 语言由 Ressayre 在 [Journal of Symbolic Logic, 第 53 卷，第 4 期，第 1009-1026 页] 中引入。它们推广了由有限自动机接受或由单体二阶句子定义的 omega 语言。本文研究了局部有限 omega 语言族 LOC_omega 的闭包性质。特别地，我们证明了 LOC_omega 类在交集运算和补集运算下均不封闭，从而回答了 Ressayre 提出的一个问题。
引用
@article{arxiv.0803.1842,
title = {Closure Properties of Locally Finite Omega Languages},
author = {Olivier Finkel},
journal= {arXiv preprint arXiv:0803.1842},
year = {2008}
}