下列描述中不正确的是( )。
·在文法中使用递归规则,使得我们能用有限的规则去定义无穷集合的语言。
·最左推导也称规范推导,用规范推导推导出的称为规范句型。
·规范推导的逆过程,称为最左归约,也称为规范归约。
·句子一定是句型,句型不一定是句子。