Parikh 自动机及相关模型的表达能力
摘要：限定字自动机（PA）是由Klaedtke和Ruess于2003年引入和研究的。从将PA等效地视为保持其转换次数并线性约束其数量的自动机出发，我们提出了自己的变种——仿射PA（APA），它通过使每个转换在PA寄存器上引入一个仿射变换来扩展PA，以及字母PA（LPA），它通过强制在同一字母上的任意两个转换对寄存器的影响相同来限制PA。然后我们报道了这些PA变种的表达能力、封闭性和可决定性特性。我们注意到确定性PA比确定性反向有界计数机更弱。我们开发了泵引式引理，并确定了一个由没有确定性PA识别的显式PA语言。
作者：Micha"el Cadilhac and Alain Finkel and Pierre McKenzie
论文ID：1101.1547
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-07-05