確定下推自動機

在自動機理論中 ， 確定下推自動機是可以使用了持有數據的棧的確定有限狀態自動機 。 術語 “ 下推 ” 來自原型機械自動機物理上接觸穿孔卡片來閱讀其內容的下推動作 。 術語 “ 確定下推自動機 ” （ DPDA ） 當前指稱識別確定上下文無關語言的抽象計算設備 。 確定下推自動機是減弱版本的下推自動機 。