A Formal Description of the Simulation Model Based on Pushdown Automator

• 基于下推自动机的仿真模型形式化描述