派生定理 开始符产生式的右部是归约活前缀。 ◆如果AB是归约活前缀,且A→π是产生式, 则aπ也是归约活前缀。 任何归约活前缀,都可按上述方式被派生。 设文法开始符的产生式是: S→α1|a2|..|an RPS8={a1,…,anJ∪{aπ|aAβ∈RPS;A→T∈P派生定理 ◆ 开始符产生式的右部是归约活前缀。 ◆ 如果A是归约活前缀，且A→是产生式， 则也是归约活前缀。 ◆ 任何归约活前缀，都可按上述方式被派生。  设文法开始符的产生式是： S →1|2|…|n RPSG={1,…,n}{|ARPSG,A→P}