プッシュダウンオートマトン
pushdown automaton
スタックマシン
文脈自由文法
有限オートマトン
プッシュダウン・オートマトン - Wikipedia
Pushdown automaton - Wikipedia