串扫描结束 栈如果为空 就接收扫描过的串
串扫描结束 栈如果为空 就接收扫描过的串
对于非正式的算法， 用形式化的方式进行描述：
对于非正式的算法， 用形式化的方式进行描述：
特殊的符号Z表示栈底 初始化时先压入栈
特殊的符号Z0表示栈底 初始化时先压入栈
X ,D,V>规则（指令） 若x是w的当前符号 D是栈顶符号 则用符号串V代替D 即将D弹出栈，而将串V压入栈
<x，D，V>规则 (指令) 若x是w的当前符号 D是栈顶符号 则用符号串V代替D 即将D弹出栈，而将串V压入栈
具体 若x是w的当前符号，栈顶符号为D 表示将D弹出栈 <X,D, AD> 表示将A压入栈，成为新的栈顶
具体 若x是w的当前符号，栈顶符号为D <x，D，ε> 表示将D弹出栈 <x，D，AD> 表示将A压入栈，成为新的栈顶