一带线性时间图灵机理论

摘要:一卷带(一头)线性时间图灵机理论与多项式时间图灵机理论本质上是不同的,因为这些机器与有限状态自动机密切相关。本文讨论了各种类型的一卷带图灵机(确定性、非确定性、可逆、交替、概率性、计数、量子图灵机),这些机器在线性时间内停机。机器的运行时间是指任何最长计算路径的长度。我们研究了一卷带线性时间图灵机的结构性质,澄清了机器的资源如何影响它们的计算模式和能力。

作者:Kohtaro Tadaki, Tomoyuki Yamakami, and Jack C.H. Lin

论文ID:cs/0310046

分类:Computational Complexity

分类简称:cs.CC

提交时间:2010-07-20

PDF 下载: 英文版 中文版pdf翻译中