推导(2) 推导的正式定义 如果A+y是一个产生式,那么AB=>YB 最左(右)推导:0(β)中不包含非终结符号 符号:需 经过零步或者多步推导出: 对于任何串Q=Q 如果β且β 那么0=y 经过一步或者多步推导出: 0→>β等价于>阝且不等于β推导（2） • 推导的正式定义 – 如果A→γ是一个产生式，那么αAβ => αγβ – 最左(右)推导：α(β)中不包含非终结符号 • 符号： • 经过零步或者多步推导出： – 对于任何串α α – 如果α β且β=>γ，那么α γ • 经过一步或者多步推导出： – α β等价于α β且α不等于β