Büchi-类似的特征描述对于Parikh可识别的ω-语言
摘要：布奇定理表明，ω-正则语言可以表示为形式为∪U_i V_i^ω的语言，其中U_i和V_i是正则语言。Pa- rikh自动机是在有限字上的自动机，其转移配备有正整数向量，其和可以测试是否属于给定的 半线性集合。我们给出了以U_i V_i^ω形式的语言的直观自动机理论表征, 其中U_i和V_i是Pari- kh可识别的。此外，我们还证明了这样的语言类的U_i为Pari- kh可识别,V_i为正则识别， 正好被Klaedtke和Ruess提出的一个模型所捕获[自动机、语言和编程,2003]，这个模型再 次等同于由Guha等人引入的可达性Pari- kh自动机的一个小修改。 我们通过引入一个模型，来准确捕获这样的语言，其中U_i为正则的，V_i是 Pari- kh可识别的。
作者：Mario Grobler, Sebastian Siebertz
论文ID：2302.04087
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-09