波斯特-图灵机是埃米尔·波斯特于1936年提出的图灵等价计算模型，采用二元字母表与无限双向存储空间，通过有限指令集控制存储位置的标记操作。其程序语言包含移动、修改存储内容及条件判断指令，马丁·戴维斯于1973-1974年将其命名为“Post-图灵程序”及“Post-图灵机”，1980年改称“Turing-Post程序” 。
该模型初始设定采用双向无限符号空间，每个存储位置可呈现标记或未标记状态，操作指令包含标记/去标记、左右移动、条件分支和停止功能，原始模型包含五种基础操作指令。波斯特在1936年10月发表的论文《Finite combinatory processes—formulation 1》中推测该模型与递归函数逻辑等价，后经学界验证 。艾伦·图灵的相关论文则发布于同年5月，两大模型共同构成计算理论基础。通用图灵机可模拟任意图灵机运作，现代电子计算机的计算模型即基于此概念 。
想要了解更多“波斯特-图灵机”的信息，请点击：波斯特-图灵机百科
