Logical Computational Types of the Pushdown Automata

• 下推自动机的逻辑计算类型