LALR(1)SM的传播构造方法 0型项目:黑点在最前的项目;它们是别的项目 派生出来的(增广项目例外)。 例如A→●aBc Afirst: AFirst(A→·XB)= First(β) *型项目:若 AFirst()包含λ,则称(S,1)为* 型项目,表示其展望符可传播。 0型项目：黑点在最前的项目；它们是别的项目 派生出来的(增广项目例外）。 例如A→•aBc。  Afirst ：AFirst(A→•X)= First()  *型项目：若AFirst(I)包含，则称(S, I)为* 型项目，表示其展望符可传播。 LALR(1)SM的传播构造方法