A图灵机通过使用有限长度的输入磁带进行适当的编程,它可以充当任何 图灵机不管怎样。在他的开创性论文中,图灵自己给出了一个通用图灵机器的第一个构造(图灵19371938)。两种颜色都足够了。Minsky(1962)发现了一个7态4色通用图灵机,如上图所示(Wolfram 2002,p706). 注意 第20条规则规定图灵机应停止,如保持头部静止不动而不改变其状态所示。在转换为2色机器时,明斯基的通用图灵机器需要43个状态。
相对而言,关于小型通用图灵机器的报道相对较少,直到Rogozin(1996)发现了带有数字的例子州和颜色由(24,2), (10,3),(7,4),(5,5),(4,6),(3,10)和(2,18)(Wolfram 2002,p1119).
Wolfram(2002,p.707)发现了一个2态5色通用图灵机,如上图所示。这个例子有最小的乘积任何其他已知的通用图灵机器。然而,很可能存在更小的例子。
Wolfram(2002,第708-709页)确定的四台2态4色机和14台基本上等效的2态3色机可能是通用的,尽管这似乎很难证明。2007年5月14日,Wolfram Research和Stephen Wolfram宣布了25000美元的现金奖励,以证明这台图灵机器实际上是通用的。2007年10月24日,亚历克斯·史密斯凭借一个成功的证据获得了该奖项(史密斯2020)。
Minsky,M.L.“有限自动机的一些通用元素”自动化研究。新泽西州普林斯顿:普林斯顿大学出版社,第117-128页,1956年。
使用标签系统的通用图灵机器的尺寸和结构程序。交响乐团。纯数学。 5,229-2381962年。
超计算:比图灵机器更计算〉,2002年9月25日。http://arxiv.org/abs/math.LO/0209332.
彭罗斯,R。皇帝的新思想:关于计算机,思想和物理定律。牛津:牛津大学出版社,第51-57页,1989年。
罗戈津,Yu.V.“七个通用图灵机器”垫子。伊索尔德。, 第69号,76-901982年。
一个具有10个状态和3个符号的通用图灵机伊兹夫。阿卡德。恶心呼吸。摩尔多瓦垫。,第4期,80-82和951992年。
罗戈津,你。”小型通用机器。”理论。计算机。科学。 1681996年,215-2401996年。
具有两个内部状态的通用图灵机自动机研究。新泽西州普林斯顿:普林斯顿大学出版社,第157-165页,1956年。
沃尔夫拉姆2,3图灵机器的普遍性复杂系统 29,1-44,2020年。表上的应用程序程序。伦敦数学。Soc。爵士。2 421937年,230-2651937年。转载于不可判定的(埃德·M·大卫)。纽约休利特:乌鸦出版社,1965年。
图灵,A.M.“修正:关于可计算数,并应用于Entscheidungsproblem。”程序。伦敦数学。Soc。爵士。2 431938年,544-546年。
Wolfram Research和Wolfram,S.“Wolfram 2,3图灵机器研究奖”http://www.wolframscience.com/priviles/tm23/.
沃尔夫拉姆,S。一门新的科学。伊利诺伊州香槟市:Wolfram Media,pp706-711 和11192002年。
韦斯坦,埃里克W。“通用图灵机器。” 来自数学世界--Wolfram网络资源。https://mathworld.wolfram.com/UniversalTuringMachine.html
用于创建演示和任何技术的#1工具。
使用第一个计算知识引擎探索任何东西。
探索数以千计的科学、数学、工程、技术、商业、艺术、金融、社会科学等领域的免费应用程序。
参加数学教育现代化的倡议。
用Wolfram | Alpha求解积分。
从头到尾一步一步地复习作业问题。提示可以帮助你自己尝试下一步。
无限随机练习问题和答案内置逐步解决方案。在线练习或制作可打印的学习表。
Wolfram教育专家构建的教学工具集:动态教科书、教案、小部件、交互式演示等。
面向每个人的基于知识的编程。