为了实现有效的文法解析,定义了一种生成规则受限的短语结构文法,称为无重叠生成文法 。证明了该类文法的任何语言句子都可以被无回朔无失败地解析。尽管该类文法的生成规则受到很大的限制,但这种文法的生成能力仍然和图 灵机等同。