编译原理（第四版）复习（二）.pdfVIP

编译原理（第四版）复习（⼆）

第三章：词法分析与有穷⾃动机

考察内容就是：已知⽂法求正规式；已知正规式求⽂法；

正规式的性质：

A|B=B|A

A|(B|C)=(A|B)|C

A(BC)=(AB)C

A(B|C)=AB|AC

(A|B)C=AC|BC

A(伊姆逊)|(伊姆逊)A=A

A*=AA*|(伊姆逊)=A|A*=(A|(伊姆逊))*

(A*)*=A*

正规⽂法到正规式的转换：

1.将正规⽂法中的每个⾮终结符表⽰成关于它的⼀个正规式⽅程，获得⼀个联⽴⽅程组；

2.依照求解规则：若x=ax|b或(x=ax+b)则解为x=a*b;

3.若x=xa|b或(x=xa+b)则解为x=ba*;

正规式到正规⽂法的转换：

1.令Vt=∑；

2.对任意的正规式R，⽤⼀个⾮终结符S作为⽂法的开始符号；

3.对A-ab转换成A-aB和B-b;

4.对A-a*b转换成A-aA|b;

5.不断运⽤3和4中的规定进⾏变换，直到每条规则最多含有⼀个终结符为⽌；

正规式与有穷⾃动机：

利⽤有穷⾃动机构造词法分析程序的⽅法是：

1.从语⾔单词的描述中构造出⾮确定的有穷⾃动机；

2.再将⾮确定的有穷⾃动机转化成确定的有穷⾃动机；

3.将其化简为状态最少化的DFA；

4.对DFA的每个状态构造⼀⼩段程序将其转化为识别语⾔单词的词法分析程序；

确定有穷⾃动机（DFA）：

⾮确定有穷⾃动机（NFA）：

由正规式R构造NFA：

NFA确定化为DFA的⽅法：

DFA的化简：

有穷⾃动机到正规式的转换，参考正规式转换为有穷⾃动机，基本的就是那三个规则转换；