プッシュダウン・オートマトン

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