形式下推自动机的英文

formal push-down automation

formal pushdown automaton

• 形式:    form; shape; layou ...
• 下:    below; down; under ...
• 推:    push; shove
• 自动:    voluntarily; of on ...
• 机:    machine; engine