ω-语言的接受条件与 Borel 层次
形式语言与自动机理论
2013-10-21 v1
摘要
本文研究了识别ω-正则语言的有限自动机的接受条件。作为第一个结果，我们证明了在任何可由 MSO 逻辑定义的接受条件下，有限自动机最多只能识别ω-正则语言。以此为基础，本文旨在根据其表达能力对接受条件进行分类，并确定它们所诱导的ω-语言类在 Borel 层次中的确切位置。文中引入并完整刻画了一种新的有趣接受条件。此外，在理解 (fin, =) 的表达能力方面也取得了进展。
引用
@article{arxiv.1310.5032,
title = {Acceptance conditions for omega-languages and the Borel hierarchy},
author = {Julien Cervelle and Alberto Dennunzio and Enrico Formenti and Julien Provillard},
journal= {arXiv preprint arXiv:1310.5032},
year = {2013}
}