×

磁头与磁带。 (英语) Zbl 0536.68050号

作者证明了以下定理:对于所有k和(d\geq2),d维k带图灵机(带有任意数量的附加线性带)不能在一个d维带上的k头图灵机上进行实时模拟。对于(k=2\),这个定理是不能改进的。为了证明这一点,作者利用Kolmogorov复杂性和Chaitin随机性等工具,发展了矩形图形的描述复杂性理论。这篇文章隐含了部分理论W.J.Paul和J.I.SeiferasJ.西蒙【Proc.12th ACM Symp.Theory of Computing,357-367(1980)】。作者还将他的定理与已知的仿真结果进行了比较P.C.Fischer、A.R.MeyerA.L.罗森博格[J.Assoc.Comput.Mach.19,590-607(1972;Zbl 0261.68027号)],B.L.Leong(梁伯韬)J.I.Seiferas公司[同上,28,166-180(1981年;Zbl 0454.68033号)],W.施尼茨林【Abt.Naturw.Univ.Konstanz(1981年;Zbl 0507.68025号)]和H.-J.Stoß[计算6309-317(1970;Zbl 0222.02036号)]。
审核人:D.蒙迪奇

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aandera,S.O.,《(k)磁带与(k)−1)磁带实时计算》,(Karp,R.M.,《计算复杂性》(1974),美国。数学。Soc),75-96·兹伯利0316.68029
[2] 费舍尔,M.J。;Meyer,A.R。;Rosenberg,A.,多磁头磁带单元的实时模拟,J.ACM,19,590-607(1972)·Zbl 0261.68027号
[3] Kosaraju,S.R.,通过双端队列实时模拟级联双端队列,Proc。年第11届ACM交响乐团。《计算理论》,346-351(1979)
[4] Leong,B.L。;Seiferas,J.I.,《多磁头磁带单元的新实时模拟》,J.ACM,28,166-180(1981)·Zbl 0454.68033号
[5] 保罗·W·J。;Seiferas,J.I。;Simon,J.,《在线计算时间界限的信息论方法》,Proc。第12届ACM-STOC,357-367(1980)
[6] Schnitzlein,W.,Simulation von zweidimensalen(k)-Kopf Turingmaschinen auf 2-dimensionalen(k)-Band Turingmasschinen(1981),康斯坦茨大学数学系,预印本
[7] Stoss,H.J.,(k)-频带模拟von(k)-Kopf Turingmaschinen,计算机。,6, 309-317 (1970) ·Zbl 0222.02036号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。