3.简化的上下文无关文法 ①不含形如A→A的有害规则 ②不含多余规则 即A∈VN,必有S当aAβ3. 简化的上下文无关文法 ①不含形如A→A的有害规则 ②不含多余规则 即AVN, 必有S * αAβ