赞
踩
根据概念: 可以看到他们之间有一种包含关系:
现在来解释一下概念:
用一个栗子来理解一下:
证明是句型,我们只需要根据文法能够画出他的抽象语法树就可以证明: 因为E⇒E+T⇒E+TF, 所以E+TF是该文法的一个句型。
根据语法树,对于子树T来说,其所有叶子节点为:T*F,对于E来说,其所有叶子节点为:E+T*F故短语为 T*F 和 E+T*F 那么我们就能推出: