ω-语言的可接受条件与 Borel 层次
摘要：对识别ω-正则语言的有限自动机的接受条件进行研究 有限自动机在使用MSO逻辑定义的任何接受条件下，最多可以识别ω-正则语言 希望根据它们的表达能力对接受条件进行分类，并找到它们诱导的ω-语言类在Borel层次中的确切位置 引入并完全刻画了一个新的有趣的接受条件 在理解(fin, =)的表达能力方面也取得了进展
作者：Julien Cervelle, Alberto Dennunzio, Enrico Formenti and Julien Provillard
论文ID：1310.5032
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-10-21