定义3-1线性的无关文法 ●若无关文法G=(∑,VS,P)的 所有产生式都是下列形式之一: A→UBv或A→W; 其中:A,B∈V;u,V∈∑+;w∈∑。 该文法称为线性的无关文法。 ●注意:u,V可以有一个为空串E。定义3-1 线性的无关文法 ⚫ 若无关文法G=(∑,V,S,P) 的 所有产生式都是下列形式之一： ⚫ A→uBv 或 A →w； ⚫ 其中:A，B∈V；u，v∈∑+；w∈∑* 。 ⚫ 该文法称为线性的无关文法。 ⚫ 注意： u，v可以有一个为空串ε