通用图灵机

✍ dations ◷ 2025-11-27 09:31:56 #艾伦图灵,图灵机

通用图灵机(universal Turing machine,又称Machine U)是一种图灵机,由艾伦·图灵在1936年发明。这种多用途单机器(计算机器)模型可以“运行”任何任意(但well-formed)指令序列(称为 "quintuples")。这模型被一些人例如Davis (2000) 认为是“存储程序电脑”的原点。存储程序电脑一词由约翰·冯·诺伊曼使用在他的《电子计算装置》("Electronic Computing Instrument")。这种电脑现在使用冯·诺伊曼的名字称为冯·诺伊曼结构。

这机器作为计算模型现在称为“通用图灵机”。

每台图灵机从它的字母表得到字元串计算一确定的固定偏可计算函数。从外观上它的行为就像一台使用固定程式的电脑。尽管如此,我们可以把任何图灵机的动作表格编码到一条字元串。因此,我们可以建构出一台图灵机,它期待的纸带上记载有一条用以描述动作表格的字元串紧跟着一条用以描述输入的字元串,从而计算那台被编码的图灵机所计算的。图灵在1936年的文章中详细描述如此的构思。

相关

  • 网络计算机网络(英语:computer network),通常也简称网络,是指容许节点分享资源的数字电信网络:1-3。在电脑网络,电脑设备会透过节点之间的连接(数据链路)互相交换数据。传输介质可分为有
  • 乙腈乙腈(英语:Acetonitrile,又称氰基甲烷),化学式CH3CN。乙腈是无色的液体,是最简单的有机腈,并广泛用作极性非质子溶剂。乙腈在某些条件下,也可以发生碳-碳键断裂。工业上经乙酰胺脱水
  • 城市建成区建成区(英语:built-up area)一般指城市中的城市化区域。在中国大陆,《城市规划基本术语标准》(GB/T 50280-98)将“城市建成区(urban built-up area)”定义为“城市行政区内实际已成
  • 夏洛蒂·勃朗特夏洛特·勃朗特(英语:Charlotte Brontë,1816年4月21日-1855年3月31日),19世纪著名英国作家、诗人,世界文学名著《简·爱》的作者,勃朗特三姐妹之一。夏洛特·勃朗特1816年生于约克
  • 御成败式目御成败式目(日语:ごせいばいしきもく)是日本镰仓时代于贞永元年8月10日(1232年8月27日)由执权北条泰时制定的武士政权法律,因而又称作贞永式目。贞永式目的名称为后世添加,正式名称
  • 翁东翁东(印尼语:Untung Syamsuri;1926年7月3日-1967年9月)中校,是印度尼西亚在1965年的九三〇事件中发动政变未遂的领导人之一。作为一名职业军人,翁东是由苏哈托于1962年派往西新几内
  • 别洛亚尔斯克区别洛亚尔斯克区(俄语:Белоя́рский райо́н)是俄罗斯斯维尔德洛夫斯克州的一个行政(区)。 该区行政中心市级镇别洛亚尔斯基(英语:Beloyarsky, Sverdlovsk Oblast)
  • 周超敏周超敏(Zhou Chaomin ,1998年3月18日-),广东人,中国女子羽毛球运动员。2015年11月,周超敏代表国家队参加秘鲁利马举行的世界青年羽毛球锦标赛,助球队赢得团体赛冠军。只列出曾进入半
  • 钻石项链事件钻石项链事件,有时又称项链事件,是1780年代法国国王路易十六治下发生在宫廷的一起神秘事件,此事将法国王后玛丽·安托瓦内特卷入。本来就受到各种小道消息玷污的王后的声誉,在这
  • 水族造景水族造景是在水族箱内以美观的方式安排水生植物以及岩石,石头,洞穴或漂流木的工艺。水族造景设计包括许多独特的风格,包括花园般的荷兰风格和日本风格的自然风格。水族造景通常