●反之,一个无关文法G,符号Y∈V,如 果能够出现在某个形如 s=>uY=>uW的推导之中,称Y为 文法G的有用非终结符。其中:u, W,V∈∑
⚫ 反之，一个无关文法G,符号Y∈V,如 果能够出现在某个形如 S=>*uYv=>* uwv的推导之中，称Y为 文法G的有用非终结符。其中：u ， w ，v ∈∑*
●从定义可知:有用非终结符,必须同时满 足两个条件 (1)从它开始推导,能够产生终结符号串 (2)它必须出现在某个句型中 ●判断某个符号是有用非终结符,就应该从 这两方面同时进行考虑
⚫ 从定义可知：有用非终结符，必须同时满 足两个条件 ⚫ (1) 从它开始推导，能够产生终结符号串； ⚫ (2) 它必须出现在某个句型中； ⚫ 判断某个符号是有用非终结符，就应该从 这两方面同时进行考虑
●有用非终结符的判断算法: 略
⚫ 有用非终结符的判断算法： ⚫略
定义3-7无用的产生式 ●如果一个产生式中(产生式的左边或右边)包含 有无用的非终结符,则该产生式就是无用的产生 式。可以将无用的产生式从文法中删除掉
定义3-7 无用的产生式 ⚫ 如果一个产生式中（产生式的左边或右边）包含 有无用的非终结符，则该产生式就是无用的产生 式。可以将无用的产生式从文法中删除掉
问题3-8文法产生的语言是否为空? 个无关文法G,产生的语言为LG),而L(G)是 否为空(即空集Φ),是可以判定的
⚫ 问题3-8 文法产生的语言是否为空？ ⚫ 一个无关文法G，产生的语言为L(G)，而L(G)是 否为空（即空集Ф），是可以判定的