formal pushdown automaton

formal pushdown automaton 基本解释

[计] 形式下推自动机

重点词汇

formal adj. （学校教育或培训）正规的；方式上的；礼仪上的 n. <美>须穿礼服的社交集会；<口>夜礼服

pushdown 推下; 后进先出方式

automaton n. 自动机, 机器人 [计] 自动机