通用图灵机

✍ dations ◷ 2025-12-02 19:00:19 #艾伦图灵,图灵机

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

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

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

相关

卡尔娄·武尔班尼卡洛·乌尔巴尼（意大利语：Carlo Urbani，1956年10月19日－2003年3月29日），又译乌尔班尼或厄巴尼，意大利医生，是首位留意到SARS是一种全新传染病的医生。乌尔巴尼是无国界医生意大利分
黄帝道家系列条目黄帝，远古时期中国人物，为《史记》中的五帝之首。神话传说其父亲少典为有熊国君，因居轩辕之丘，故号轩辕，长居姬水，为姬姓，国于有熊（今河南新郑），又称有熊氏。中国历代皇帝
六硼化镧六硼化镧是一种无机化合物，化学式为LaB6。它是一个超导体，相变温度只有0.45 K。六硼化镧可由镧或氢化镧粉末和无定形硼粉在氢气中高温加热得到。硼还原氧化镧也能得到六硼化镧
诉诸后果诉诸后果（英语：appeal to consequences；拉丁语：argumentum ad consequentiam）是一种非形式谬误，主张由于某结果是好的，因此它是对的；或某结果是坏的，因此是这件事是错的。此与一厢情
李季伦李季伦（1925年3月15日－），中国微生物学家。河北乐亭人。1948年毕业于国立中央大学生物系。中国农业大学生物学院教授。1995年当选为中国科学院院士。李季伦于1925年3月15日出生于
诺福克诺福克（Norfolk）可以指：
井口贞夫井口贞夫（日语：井口貞夫／いぐちさだお Iguchi Sadao，1899年10月18日－1980年5月27日），日本外交官。曾担任外务事务次官及驻美国、加拿大和中华民国大使。1969年获颁勋一等瑞宝章
马都拉族马都拉族（印尼语：Madura），是东南亚的一个民族。印度尼西亚的民族之一。有近千万的人口，主要分布在爪哇岛东北方的马都拉岛，以及东爪哇地区，大多数信奉伊斯兰教。他们有着独特的民族
505游戏505游戏（英语：505 Games）是一间意大利电子游戏开发公司和出版商，属于Digital Bros企业集团于2006创立。其英国和美国分公司于2008成立，以IL-2暴风雪2：掠食之翼而在国际成名。其游
中山泰秀中山泰秀（日语：中山泰秀／なかやまやすひで，1970年10月14日－）是日本的政治家。自由民主党所属的众议院议员。父亲是中山正晖。成蹊大学法学部毕业后，进入电通公司，之后历任总务厅