令若有 c∈ PreFIx (|S;),Y→βAn∈|S;,则 根据性质2—(活前缀状态机的性质), αAn是归约活前缀。再根据派生原理,若 A→π是A的产生式,则aπ也是归约活前缀。 令构造LRSM的思想: 如果在状态项目集S1中有项目A→βB, 且B→π是B的产生式,则在IS;中增加项目 B→·π;对于|S:这个过程继续到不可再扩 充为止。❖ 若有 Prefix(ISi )，Y→•AISi ，则 根据性质2—(活前缀状态机的性质）， A是归约活前缀。再根据派生原理，若 A→是A的产生式，则也是归约活前缀。 ❖ 构造LRSM的思想： 如果在状态项目集ISi 中有项目A→•B， 且B→是B的产生式，则在ISi 中增加项目 B→•；对于ISi 这个过程继续到不可再扩 充为止