文法和语言学习小结

①字母表：字母表是元素的非空有穷集合，字母表中的元素称为符号，因此字母表也称为符号集。

注意的一点是空符号串，即ε，在数学中经常碰到这种特殊的“0”，关于这种“0”总是有很多特殊的性质，经常性的我们遗忘掉ε这种特殊情况。

②句型与句子：设G[S]是一个文法，如果符号串x是从识别符号推导出来的，则称x是文法G[S]的句型，如果x仅由非终结符号组成，则称x为文法G[S]的句子。

③推导树：描述上下文无关文法的句型推导的直观工具，即语法数，也称推导树。这棵树满足一下四个条件。

a)每个结点都有一个标记，此标记是V的一个符号

b)根的标记是S

c)若一个结点n至少有一个他自己以外的子孙，并且有标记A，则A肯定在Vn中

d)如果结点n的直接子孙从左到右的次序是结点n1,n2,n3........,nk,其标记分别为A1，A2.......An，那么A--->A1A2A3.......An一定是P中的一个产生式。

④短语，句柄：令G是一个文法，S是文法的开始符号，如果有S==》*αβδ且A==>+β,则称β是句型αβδ相对于非终结符A的短语，特别的，如果有A==>β,则称β是句型αβδ相对于规则A==>β的直接短语。一个右句型的直接短语称为该句型的句柄。句柄的概念只适合于右句型。

PS：任何句型都是相对于文法开始符号的短语。

⑤子数与短语的关系：

a)每棵子树的叶子串都是相对于该子树的根的短语

b)每个叶子分支（简单子树）的叶子串是一直接短语

c)最左的叶子分支的叶子串是句柄（最左直接短语）

⑥文法化简的步骤

a)查找有为形如P->P的产生式，若有则删除

b)若某个产生式在推导过程中永远不会被用到，则删除它

c)若某个产生式在推导过程中不能从中导出终结符，则删除它

d)最后，整理所有剩余产生式，就得到简化的文法

⑦语言和文法构造方法小结