下推自動機

在自動機理論中 ， 下推自動機 （ Pushdown automaton ） 是使用了包含數據的棧的有限自動機 。