关于Parikh自动机及相关模型的表达能力
形式语言与自动机理论
2011-07-05 v4
摘要
Parikh有限词自动机(PA)由Klaedtke和Ruess于2003年提出并研究。PA的自然变体源于将PA等价地视为一种自动机，它记录其转移次数并半线性地约束这些次数。本文采用这一观点，定义了仿射PA(APA)，它通过让每个转移在PA寄存器上诱导一个仿射变换来扩展PA；以及字母上的PA(LPA)，它通过强制同一字母上的任意两个转移对寄存器产生相同影响来限制PA。随后，我们报告了此类PA变体在表达能力、封闭性和可判定性方面的性质。我们注意到，确定性PA严格弱于确定性反转有界计数器机。我们发展了泵引理，并识别出一个不能被任何确定性PA识别的显式PA语言。
引用
@article{arxiv.1101.1547,
title = {On the expressiveness of Parikh automata and related models},
author = {Michaël Cadilhac and Alain Finkel and Pierre McKenzie},
journal= {arXiv preprint arXiv:1101.1547},
year = {2011}
}
备注
16 pages, in NCMA11