通用圖靈機
維基百科,自由的 encyclopedia
通用圖靈機(Universal Turing Machine,又稱UTM或Machine U)是一種圖靈機,由艾倫·圖靈在1936年發明。這種多用途單機器(計算機器)模型可以「運行」任何任意(但well-formed)指令序列(稱為 "quintuples")。這模型被一些人例如Davis (2000) 認為是「存儲程序電腦」的原點。存儲程序電腦一詞由約翰·馮·諾伊曼使用在他的《電子計算裝置》("Electronic Computing Instrument")。這種電腦現在使用馮·諾伊曼的名字稱為馮·諾伊曼結構。[1]
此條目可參照英語維基百科相應條目來擴充。 |
這機器作為計算模型現在稱為「通用圖靈機」。[2]