两个头胜过两个磁带
摘要：用两个单头一维纸带的图灵机不能以实时识别集合{x2x' | x ∈ {0,1}^*且 x'为x的前缀}，尽管它可以通过三个纸带、两个二维纸带、一个双头纸带或仅一个纸带以线性时间完成。特别是，这解决了长期以来的猜想，即如果两个头位于相同的一维纸带上，则双头图灵机可以以实时识别更多语言，而如果它们位于单独的一维纸带上，则不能。
作者：Tao Jiang (McMaster University), Joel Seiferas (Rochester University), and Paul Vitanyi (CWI and University of Amsterdam)
论文ID：cs/0110039
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23