关于上下文无关文法的语法树和句型有如下定理 定理： 　　G为上下文无关文法， 　　对于α≠ε，有S α，当且仅当 　　文法G有以α为结果的一棵语法树(推导树)。 　　如果在推导的任何一步αβ，其中α，β是句型，都是对α中的最左(最右)非终结符进行替换，则称这种推导为最左(最右)推导。右页第一个推导是最右推导，第二个是最左推导。在形式语言中，最右推导常被称为规范推导。由规范推导所得的句型称为规范句型。 　　不管是第一个还是第二、第三个推导过程，它们相联的语法树都是图4.3的语法树。 　　这就是说，一棵语法树表示了一个句型的种种可能的(但未必是所有的)不同推导过程，包括最左(最右)推导。但是，一个句型是否只对应唯一的一棵语法树呢？一个句型是否只有唯一的一个最左(最右)推导呢？不是的。