形式下推自动机

【计】 formal pushdown automaton

形式的英语翻译：

form; format; modality; shape
【法】 form

下推自动机的英语翻译：

【计】 push-down automation; push-down automaton