有界计数器语言
摘要：确定性有限自动机 equipped with $k$ 两头双向磁头等价于带有一个双向输入磁头和 $k-1$ 个线性有界计数器的确定性机器，如果被接受的语言是严格有界的，即是一个符号序列 $a\_1, a\_2,..., a\_m$ 的子集 $a\_1^*a\_2^*... a\_m^*$ 。然后我们研究计数机的线性加速。我们展示了具体识别问题的下界和上界时间复杂度，说明了一般情况下计数机并不具备线性加速的能力。对于有界语言，我们发展了一种技术，在增加固定数量的计数器的代价下，通过任意常数因子加速计算。
作者：Holger Petersen
论文ID：1204.0833
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-08-07