プッシュダウン・オートマトン
プッシュダウン・オートマトン（"Pushdown Automaton"）は、オートマトンの一種であり、文脈自由言語を認識する抽象機械である。
ある意味では、プッシュダウン・オートマトンは有限オートマトンと無限の容量のスタックを組み合せたシステムである。