一带线性时间图灵机理论
摘要:一卷带(一头)线性时间图灵机理论与多项式时间图灵机理论本质上是不同的,因为这些机器与有限状态自动机密切相关。本文讨论了各种类型的一卷带图灵机(确定性、非确定性、可逆、交替、概率性、计数、量子图灵机),这些机器在线性时间内停机。机器的运行时间是指任何最长计算路径的长度。我们研究了一卷带线性时间图灵机的结构性质,澄清了机器的资源如何影响它们的计算模式和能力。
作者:Kohtaro Tadaki, Tomoyuki Yamakami, and Jack C.H. Lin
论文ID:cs/0310046
分类:Computational Complexity
分类简称:cs.CC
提交时间:2010-07-20