对Parikh可识别ω-语言的注解
摘要：Parikh自动机的几个变体是由Guha等人最近引入的[FSTTCS,2022]。我们证明其中一个变体与Fernau和Stiebe引入的盲计数机相一致[Fundamenta Informaticae, 2008]。Fernau和Stiebe表明，被盲计数机识别的每个ω-语言都具有形式$igcup_iU_iV_i^ω$，其中$U_i，V_i$是Parikh可识别的语言，但是盲计数机不能完全表征这些ω-语言的类。他们提出了一个开放问题，即寻找一个合适的基于自动机的表征。我们引入了几个Parikh自动机在无限词上的额外变体，这些变体可以对形如$igcup_iU_iV_i^ω$的ω-语言类进行自动机表征，其中$U_i，V_i$的组合可以是正则语言或Parikh可识别的语言。当$U_i$和$V_i$都是正则语言时，这与B"uchi的经典定理相一致。我们研究了所有Parikh自动机变体中的$ε$-转换的影响，并证明几乎所有变体都接受$ε$-消除。最后，我们研究了具有模型检验应用的经典决策问题。
作者：Mario Grobler, Leif Sabellek, Sebastian Siebertz
论文ID：2307.07238
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-17