有界上下文无关语言的描述复杂度
摘要：有界转弯下推自动机（PDA）的描述复杂度进行了研究。已知有界转弯下推自动机正好接受超线性上下文无关语言的类。此外，将接受超线性语言的任意PDA转换为有界转弯PDA时，大小的增加不能由任何递归函数来界定。后一现象被称为非递归权衡。本文考虑接受有界语言的有界转弯PDA。首先，研究了字母有界语言。我们证明在这种情况下，非递归权衡被减少为递归权衡，更准确地说，是指数权衡。我们提供了一种转换算法，并通过证明紧密下界来证明构造的最优性。此外，研究了减少给定有界转弯PDA的转弯次数的问题。同样，我们提供了一种转换算法，表明在这种情况下，权衡至多为多项式。最后，研究了更一般的字有界语言情况。我们展示了如何将对字母有界语言的结果扩展到字有界语言。
作者：Andreas Malcher and Giovanni Pighizzini
论文ID：0905.1045
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-05-08