减重图灵机
摘要：一-带图灵机在线性时间内的工作和有限自动机一样强大，即它们只能识别正则语言这一事实是众所周知的。我们证明了即使是确定性的一-带机器并且仅限于使用初始包含输入的部分磁带，也不能决定一-带机器是否以线性时间工作。这激发了引入一种建设性的变体，称为减重机器，并对其性质进行研究。我们重点研究确定性情况。特别地，我们证明了只需多项式大小的增加，每个减重机器都可以转化为一个在线性时间内工作且终止的机器。此外，通过指数和双指数的增加，每个减重机器都可以转化为等价的非确定性和确定性有限自动机。这些代价通常无法减少。
作者：Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Pr {u}v{s}a
论文ID：2103.05486
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-03-11