下推自动机 pushdown automaton ; l-VPDA ; NNPDA ; pinoautomaatti

确定性下推自动机 [自] deterministic pushdown automaton ; DPDA

随机下推自动机 [计] stochastic pushdown automata

简单下推自动机 [计] simple pushdown automaton

确定的下推自动机 deterministic push-down automato ; DPDA

标准形式下推自动机 normal form PDA

形式下推自动机 formal push-down automaton ; formal push-down automation

广义下推自动机 [自] generalized pushdown automaton

非确定下推自动机 non-determinate pushdown automaton

不确定下推自动机 [自] non-deterministic push-down automaton