形式语言理论的核心也称为转换——生成语法，用有限的文法规则生成无限的具有共同生成结构的句法