推下,后进先出方式

目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。

相比来说，“限制排放与交易许可”机制在降低碳排放的成本的同时也得降低许可的价格和投资者的回报。

λ-stochastic pushdown language

two way pushdown automaton【自】

formal pushdown automaton

generalized pushdown automaton

formal pushdown automaton【自】

primitive pushdown machine

simple pushdown automaton

weighted pushdown language【计】