标准型下推自动机

标准型下推自动机（normal form push down automaton），计算机科学技术名词，下推自动机的一种标准形式；规定在每一步动作中，对栈的操作只能是下面三种情况之一：弹出栈顶元素，压入一个新的栈顶，或栈的内容保持不变。