通用圖靈機

通用圖靈機 ( 又稱UTM或Machine U ） 是一種圖靈機 ， 由艾倫 · 圖靈在1936年發明 。 這種多用途單機器 （ 計算機器 ） 模型可以 「 運行 」 任何任意 （ 但well - formed ） 指令序列 （ 稱爲 " quintuples " ） 。 這模型被一些人例如Davis ( 2000 ) 認爲是 「 存儲程序電腦 」 的原點 。 存儲程序電腦一詞由約翰 · 馮 · 諾伊曼使用在他的 《 電子計算裝置 》 （ " Electronic Computing Instrument " ） 。 這種電腦現在使用馮 · 諾伊曼的名字稱爲馮 · 諾伊曼結構 。 這機器作爲計算模型現在稱爲 「 通用圖靈機 」 。