z第二章文法和语言预览.ppt

等价：若文法G1、G2满足 L(G1)=L(G2)， 则称文法G1、G2是等价的。 拓广文法： 设文法G1[S] = (VN,VT,P,S)，构造文法 G2[S’]=(VN∪{S’},VT,P’,S’)，其中：P’={A→?|A→?∈P} ∪{S’→S}，显然L(G1)=L(G2)，则G2称为G1的拓广文法。 1. 消除无用符号和无用产生式 定义2.23 无用符号 任给一文法符号X∈V，若X 满足： (1) S??X? (2) X??，其中?∈VT* 则称文法符号X是有用的，否则，称X为无用符号。 无用产生式 任给一产生式A→?∈P，若产生式左部或右部含有无用符号，则称此产生式A→?为无用产生式。 * * 算法2.1，按定义2.23中（2）的要求构造文法G1=(VN1,VT,P1,S)， (X??，其中?∈VT*) 消除无用符号和无用产生式(针对VN): (a) VN1:={ }；P1:={ }。(只对非终极符) (b)对每个A→x1x2…xn ∈ P且xi∈VN1∪VT∪{?} (i=1,…,n)，置VN1:= VN1∪{A}。 (c) 重复（b），直至VN1不再扩大为止。 (d)对每个A→x1x2…xn ∈ P且xi∈VN1∪VT∪{?} (i=1,…,n)，则A→x1x2…xn置入P1中。