3.1消除无关文法中的无用非终结符号 定义3-4文法中的无用符号 个无关文法G,符号Y∈V,如果不出 现在任何形如S=>uY=>uW的推导 之中,称Y为文法G的无用非终结符。 其中:u,W,V∈∑。3.1 消除无关文法中的无用非终结符号 ⚫ 定义3-4 文法中的无用符号 ⚫ 一个无关文法G,符号Y∈V,如果不出 现在任何形如S=>*uYv=>* uwv的推导 之中，称Y为文法G的无用非终结符。 ⚫ 其中：u ，w ，v ∈∑*