32上下文无关文法CFG) 定义32利用产生式产生句子的过程中,将产生式A→y的右部 代替文法符号序列αAβ中的A得到ayβ的过程,称αAβ直接推 导出Yβ,记作:aAβ→>ayβ 若对于任意文法符号序列a1,Q2,….n,均有a1=>02>.→>n, 则称此过程为零步或多步推导,记为: a1=*>n,其中a1=an的情况为零步推导。 若α1n,即推导过程中至少使用一次产生式,则称此过程为 至少一步推导,记为:al=+>ano 两点注意: ,有0*,即推导具有自反性; ※若Q=*>β,β=*>Y,则α=*>Y,即推导具有传递性。7 3.2 上下文无关文法(CFG) 定义3.2 利用产生式产生句子的过程中，将产生式A→γ的右部 代替文法符号序列αAβ中的A得到αγβ的过程，称αAβ直接推 导出αγβ，记作：αAβ=>αγβ。 若对于任意文法符号序列α1，α2，...αn，均有α1=>α2=>...=>αn， 则称此过程为零步或多步推导，记为： α1=*>αn，其中α1=αn的情况为零步推导。 若α1≠αn，即推导过程中至少使用一次产生式，则称此过程为 至少一步推导，记为：α1= +>αn。 两点注意：  α，有α=*>α，即推导具有自反性；  若α=*>β，β=*>γ，则α=*>γ，即推导具有传递性