波斯特-图灵机 波斯特图灵机Post图灵机是一种特别简单类型的图灵机的程序公式化由下面描述的埃米爾萊昂波斯特英语Emil Post的图灵等价的计算模型构成波斯特的模型和图灵的模型尽管相互之间非常类似但却是独立开发的图灵的论文在年五月出版波斯特的论文在十月出版波斯特图灵机使用二元字母表无限序列的二元存储位置和带有在存储位置上双向移动和一次一个更改其内容的指令的原始编程语言 波斯特图灵程序和波斯特图灵机的名字由馬丁戴維斯在年年使用Davis  pff后来戴維斯在年使用名字图灵波斯特程序TuringPostDavis in Steen p