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中。 * 例2.9 设文法G[S] S,U,V,M,N ， a, b ，P，