文法与语言的定义
-
文法定义：
文法G定义为四元组（Vn,Vt,P,S）,Vn为非终结符，Vt为终结符，P为规则，S为标识符（开始符）
文法G所产生所参数的语言定义为集合L(G)
文法的类型P25 -
句型与句子：
句型包括句子
-
语法树
一颗语法树对应多个推导过程
一个句型可以对应多颗语法树，可以有多个最左（右）推导α=>β，其中α，β均是句型，对α中最左（右）非终结符进行替换，则称这种推导为最左（右）推导。
最右推导被称为规范推导，推导所得到的句型称之为右句型或规范句型一个语法树既可以表示句型也可以表示句子
-
短语
不妨用如下图结合定义来理解下短语：
其实短语可以简单理解为某个非终结字符A，最终推导到了单个或多个非终结字符y(y可以想象成一连串非终结字符串)，那么就说y是短语
所谓直接短语可以理解为在全部短语中选出由A非终结符再经过一步推导得到非终结字符y的短语
在上面的例子中是L->S,S->a
句柄：
这个概念只适合于右句型，一个右句型的直接短语被称为该句型的句柄
在树上的体现就是：树最左边的直接短语