通用图灵机

✍ dations ◷ 2025-12-09 04:56:24 #艾伦图灵,图灵机

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

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

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

相关

钙离子通道阻滞剂钙离子通道阻滞剂（英语：calcium channel blocker，CCB、calcium channel antagonists 或 calcium antagonists）是阻断钙离子经过细胞膜上的钙离子通道进入细胞的药物。钙离子通
飞白书陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
岩浆岩岩浆岩，是指岩浆或熔岩冷却和凝固后（地壳里喷出的岩浆，或者被熔化的现存岩石）所成形的一种岩石。岩浆岩是三种主要岩石类型之一，其他两种类型分别是沉积岩和变质岩。现在已经发现
阿拉伯国家阿拉伯世界主要城市阿拉伯世界（阿拉伯语：العالم العربي‎）是指分布于西亚和北非，主要以阿拉伯语作为主要语言的国家。从西边的毛里塔尼亚延伸至东边的阿曼，横跨非洲
2019冠状病毒病索马里兰疫情2019冠状病毒病索马里兰疫情，介绍在2019新型冠状病毒疫情中，在索马里兰发生的情况。3月31日，索马里兰出现两名首例确诊，分别是一名从英国归国的当地人和一名中国公民。
雅各 (旧约圣经)雅各（Jacob或Ya'akov；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsov
吴建国 (病毒学家)吴建国（？－），中华人民共和国病毒学家。1982年，获武汉大学微生物学学士学位。1985年，获武汉大学病毒学硕士学位，1992年，获美国爱达华大学生物化学博士学位。1993-1996年，为美国普林斯顿
米哈伊·菲福尔米哈伊-维奥雷尔·菲福尔（Mihai-Viorel Fifor，1970年10月－），罗马尼亚政治人物。生于塞维林，1989年进入克拉约瓦大学。于1994年取得罗马尼亚语和英语学位。第二年在同一大学获罗马
唐武宗唐武宗李瀍（814年7月2日－846年4月22日）（“瀍”，拼音：chán），临死前12天改名“炎”，唐穆宗的第五子和事实上的第九子，母韦贵妃。他是唐朝的第18代皇帝（除去武则天以外），在位时间是840年至8
鲍洛格·佐尔丹鲍洛格·佐尔丹（匈牙利语：Balog Zoltán，1958年1月7日－），匈牙利政治人物。2006年至今，担任匈牙利国会议员。2012年5月起，担任匈牙利人力资源部部长。鲍洛格·佐尔丹为青年民主主义者