通用图灵机

✍ dations ◷ 2025-12-02 04:27:12 #艾伦图灵,图灵机

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

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

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

相关

γ详见细菌分类表γ‐变形菌纲（学名：Gammaproteobacteria）属于细菌界变形菌门，是目前所知的细菌中种类最多的一纲，包括一些医学上和科学研究中很重要的类群，如肠杆菌科（Enterobactera
模糊逻辑模糊逻辑是处理部分真实概念的布尔逻辑扩展。经典逻辑坚持所有事物（陈述）都可以用二元项（0或1，黑或白，是或否）来表达，而模糊逻辑用真实度替代了布尔真值。这些陈述表示实际上接近于
政教分离政教分离（英语：separation of church and state），指的是国家政府权力（凯撒即世俗王权）与宗教机构权力（基督即教会）的分割；也可以是说，是指政府不支持或压迫任何一个宗教机构，任何一个宗
大格拉斯哥大格拉斯哥（英语：Greater Glasgow）是以英国苏格兰最大都市格拉斯哥为中心的大都市。按照苏格兰统计部门定义的范围，2001年人口普查时，大格拉斯哥有人口1,199,629人，是苏格兰最大的
频哪醇频哪醇（Pinacol）是一种有机化合物，性状为白色固体。该化合物可从丙酮作为底物，通过频哪醇偶联反应获得：作为一种邻二醇，它可以通过频哪醇重排反应为频哪醇酮，例如：和硫酸加热反应。
十善十善业（梵语：Daśa-kuśala-karmāni），或称十善行、十善、十善业道，是十种善行，是佛教行者修行的根本所在。居士戒包括五戒，和受持一昼夜的八关斋戒，在大乘佛教中，十善或作为戒律受持
鹭鸶鹭科（学名）在动物分类学上是鸟纲中的鹈形目中的一个科，也被称为鹭类。本科的鸟类为大、中型涉禽，主要活动于湿地及附近林地，它们是湿地生态系统中的重要指示物种。鹭科的鸟类具有
马特·德拉吉马特·德拉吉（Matt Drudge；1966年10月27日－），是一名美国政治评论员及聚合器德拉吉报道（英语：Drudge Report）的创办人，曾经最早报道了美国前总统克林顿性丑闻案件而扬名。
芒康小檗芒康小檗（学名：），为小檗科小檗属下的一个植物种。
梁梦龙梁梦龙（1527年－1602年），字乾吉、干吉，号鸣泉，谥贞敏，京师真定府真定县（今河北石家庄市正定县）人，明朝政治人物，官至吏部尚书、兵部尚书。嘉靖三十一年（1552年），乡试中举。嘉靖三十二年（1553