集中式推进自动机的强大能力
摘要：推动自动机的并行通信系统(PCPA)是在(Csuhaj-Varj{''u}等人，2000年)中引入的，并且在它们的集中式变种中证明能够模拟非确定性单向多头推动自动机。一个关于返回模式的声明相反的模拟(Balan，2009年)被证明是不完全的(Otto，2012年)，并且提出了一种语言来区分这些二阶(PCPA的数量)和非确定性单向两头推动自动机。我们展示了所提出的语言可以被后者的计算模型接受。我们给出了一个不同的例子，使用单个字母字母表，确实排除了模型之间模拟的可能性。对于以返回模式工作的集中式PCPA的能力的未解决问题被证明是通用的。由于使用二级系统可以进行构建，这也改进了生成所有递归可枚举语言的先前界限三。最后，PCPA以某种方式受限制，以使多头自动机可以进行模拟。
作者：Holger Petersen
论文ID：1208.1283
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-08-07