两个重要的性质 C归约活前缀的性质:若oAn是归约活前 缀,A→π是产生式,则aπ也是归约活 利。 C活前缓状态机性质:若有 a∈ Prefix(|s;),且A→β·n∈lS;,则 αη是归约活前缀。两个重要的性质  归约活前缀的性质：若A是归约活前 缀，A→是产生式，则也是归约活 前缀。  活前缀状态机性质：若有 Prefix(ISi )，且A→•ISi ，则 是归约活前缀