通用图灵机

✍ dations ◷ 2025-07-13 16:02:44 #艾伦图灵,图灵机

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

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

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

相关

dsDNA脱氧核糖核酸病毒（英语：DNA virus），又称DNA病毒，其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
足球独联体杯独联体杯（俄语：Кубок чемпионов Содружества, Кубок Содружества, Кубок чемпионов содружества стр
氨甲酰磷酸氨甲酰磷酸（英语：Carbamoyl phosphate）是一种在生物化学方面有重要意义的阴离子。在陆生生物体内，氨甲酰磷酸作为一个中间代谢物参与通过尿素循环进行的氮排泄以及嘧啶的生物合
间质干细胞间充质干细胞（mesenchymal stem cell, MSC），泛指一类存在于骨髓、脂肪组织等位置的一系列能够贴附在塑料表面生长、具有一定分化潜能的细胞群。根据国际细胞治疗协会2005年提出
加洛林板块加洛林板块是新畿内亚以北的小型板块，与西面的鸟首板块和南面的木百灵板块边界形成隐没带，北面与太平洋板块相接形成转形断层，而与菲律宾板块之间形成聚合板块边缘。
大西洋舰队美国海军舰队司令部（United States Fleet Forces Command），前身是1906年成立的美国大西洋舰队。如今它主要负责大西洋水域内美国舰队的训练、调度等工作，下辖美国海军第2舰队。
单色配色单色配色是指以单一色相为基础，并融入不同的色度、高光或阴影的色彩搭配方案。其中，色度影响色彩的鲜艳程度，高光是指在原色相基础上加入白色，阴影则加入黑色、灰色等颜色。在视
浅井万福丸浅井万福丸（1564年－1573年），浅井长政之子，据说正式的名称应为浅井辉政。其母一般认为是长政的正室阿市，但阿市嫁到浅井家的年份众说纷纭，一般多认为是1567年，也有1564年说。但如果是
阿波罗4号阿波罗4号是阿波罗计划中第一次使用土星5号运载火箭发射的无人任务，也是土星5号运载火箭S-IC级和S-II级的第一次飞行。阿波罗4号任务是土星5号的首次发射，是首次使用专门为这
李倕参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：李倕（8世纪－798年11月3日），唐朝皇子，是唐肃宗李亨的第十子。