编译原理复习记录

First，Follow，Firstvt和Lastvt (编译原理)

转：http://dongtq2010.blog.163.com/blog/static/1750224812011520113332714/

First
如A->aB | CD
这里面包含了组成First（A）的两种情况：
           以终结符开头，    当然要把这个终结符放到A的First里
           以非终结符开头， 先把C的First放到A的First里
                                        再看如果C的First中有空的话就把D的First放到A的First里，如果D也有空的话往后依次类推
技巧：First一般从下往上找。
           如果要找A的First，我们要找A的定义式，即A在左边的式子，看着他的右边来找。

Follow
如S->(L) | aL | LC   
找Follow的三种情况：先在候选式（右边）中找到该非终结符，如L（注意例中只有一个定义，但找Follow要看到所有右边出现该非终结符的）
           如果L的右边是终结符，    那么这个终结符加入L的Follow
           如果L的右边是非终结符， 那么把这个非终结符的First除去空加到L的Follow中{有问题}
           如果L处在末尾，               那么，'->'左边符号的Follow成为L的Follow
另外要注意的是：
           开始符号的Follow中要加上‘#’        
技巧：Follow一般从上往下找。
           如果要找L的Follow，要从式子的右边找到L，然后来找L的Follow，这与First是不同的。

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
再说下Firstvt和Lastvt
Firstvt
找Firstvt的三条规则：如果要找A的Firstvt，A的候选式中出现：
           A->a.......，即以终结符开头，该终结符入Firstvt
           A->B.......，即以非终结符开头，该非终结符的Firstvt入A的Firstvt
           A->Ba.....，即先以非终结符开头，紧跟终结符，则终结符入Firstvt

Lastvt
找Lastvt的三条规则：如果要找A的Lastvt，A的候选式中出现：
           A->.......a，即以终结符结尾，该终结符入Lastvt
           A->.......B，即以非终结符结尾，该非终结符的Lastvt入A的Lastvt
           A->.....aB，即先以非终结符结尾，前面是终结符，则终结符入Firstvt

短语

书上的定义如下: 

书上写的比较抽象，我这里简单解释一下，有两个文法，分别是：

S=*=>aAp (由于部分字符难以输入，在此用a,b,p代替)
A=+=>b

• 1
• 2

我们由此可以画出他的抽象语法树，如下:

那么，abp为此句型的短语 
总结来说：一个句型的语法树中任一子树叶结点所组成的符号串都是该句型的短语，由这概念，那么我们自然可以想到，b也应该是该句型的一个短语。

直接短语

书中的定义：

书中的意思总结来说，指的是如果子树中不再包含其他的子树，即A只能推导出b，而b不能再推出其他的式子，则b为此句型的直接短语

句柄

先来看一下书中的定义:

书中的意思就是：直接短语中的最左直接短语为该句型的句柄。

小练习

如何证明E+T*F是句型呢？最简单的方法就是画抽象语法树，如果能画出对应的抽象语法树，则就表明此表达式是文法的一个句型。

抽象语法树如下:

按如上的语法树可知，E=T*F为此文法的一个句型:

• 短语: T*F, E+T*F

• 直接短语：T*F

• 句柄：T*F

简析：对于子树T来说，其所有叶子节点为：T*F，对于E来说，其所有叶子节点为:E+T*F故短语为 T*F 和 E+T*F

这个比较简单，我们来个比较复杂的题目：

S -> a|b|(T) 
T -> TdS|S
证明(Sd(T)db)是S的一个句型，并求出短语，直接短语，句柄

• 1
• 2
• 3

此文法的抽象语法树为:

由此可得S=(Sd(T)db)为此文法的一个句型：

• 短语:S，(T)，b，Sd(T)，Sd(T)db，（Sd(T)db)

• 直接短语:S，(T)，b

• 句柄:S

• 素语是一个短语，它至少含有一个终结符，而且除它自身以外不再含有更少的素短语，对于句型（Sd（T）db）的素短语是（T）、b.

  
  

  最左推导：对句型右部的最左非终结符进行推导。

  句子：仅含终结符的句型。

  
  

分类:  读书笔记