下推自动机 在自动机理论中下推自动机英語Pushdown automaton是使用了包含数据的栈的有限自动机