确定下推自动机 在自动机理论中确定下推自动机英語Deterministic pushdown automaton縮寫DPDA是可以使用了持有数据的栈的确定有限状态自动机术语下推来自原型机械自动机物理上接触穿孔卡片来阅读其内容的下推动作术语确定下推自动机当前指称识别确定上下文无关语言的抽象计算设备 确定下推自动机是减弱版本的下推自动机