文法与语言的定义

• 文法定义：

  文法G定义为四元组（Vn,Vt,P,S）,Vn为非终结符，Vt为终结符，P为规则，S为标识符（开始符）
  文法G所产生所参数的语言定义为集合L(G)
  文法的类型P25

• 句型与句子：
  

  句型包括句子

• 语法树
  一颗语法树对应多个推导过程
  一个句型可以对应多颗语法树，可以有多个最左（右）推导

  α=>β，其中α，β均是句型，对α中最左（右）非终结符进行替换，则称这种推导为最左（右）推导。
  最右推导被称为规范推导，推导所得到的句型称之为右句型或规范句型

  一个语法树既可以表示句型也可以表示句子

• 短语
  
  
  
  不妨用如下图结合定义来理解下短语：
  

其实短语可以简单理解为某个非终结字符A，最终推导到了单个或多个非终结字符y(y可以想象成一连串非终结字符串)，那么就说y是短语


所谓直接短语可以理解为在全部短语中选出由A非终结符再经过一步推导得到非终结字符y的短语
在上面的例子中是L->S,S->a

句柄：

这个概念只适合于右句型，一个右句型的直接短语被称为该句型的句柄
在树上的体现就是：树最左边的直接短语