波斯特圖靈機

波斯特 - 圖靈機 （ Post-圖靈機 ） 是一種特別簡單類型的圖靈機的 “ 程序公式化 ” 由下面描述的的圖靈等價的計算模型構成 。 波斯特的模型和圖靈的模型 ， 儘管相互之間非常類似 ， 但卻是獨立開發的 。 圖靈的論文在1936年五月出版 ， 波斯特的論文在十月出版 。 波斯特 - 圖靈機使用二元字母表 ， 無限序列的二元存儲位置 ， 和帶有在存儲位置上雙向移動和一次一個更改其內容的指令的原始編程語言 。 “ 波斯特 - 圖靈程序 ” 和 “ 波斯特 - 圖靈機 ” 的名字由馬丁 · 戴維斯在1973年 - 1974年使用 （ Davis 1973, p. 69ff ） 。 後來戴維斯在1980年使用名字 “ 圖靈 - 波斯特程序 ” （ Turing - Post ） （ Davis, in Steen p. 241 ） 。