编译3词法分(zss)3.pptVIP

编译原理(第三版) 陈火旺等编著 （2012年9月-12月） 主讲：朱世松 计算机学院 3.3.4 正规文法与有限自动机的等价性 对于正规文法G和有限自动机M，如果L(G)＝L(M)，则称G和M是等价的。关于正规文法和有限自动机的等价性，有以下结论： 定理： 1.对每一个右线性正规文法G或左线性正规文法G，都存在一个有限自动机(FA) M，使得L(M)＝L(G)。 2.对每一个FA M，都存在一个右线性正规文法GR和左线性正规文法GL，使得L(M)＝L(GR)＝L(GL)。 证明： 1. 对每一个右线性正规文法G或左线性正规文法G，都构造一个有限自动机（FA） M，使得L(M)＝L(G)。 (1) 设右线性正规文法G=VT, VN, S, P 。将VN中的每一非终结符号视为状态符号，并增加一个新的终结状态符号f，f?VN。 令M=VN∪{f}, VT, ?, S, {f}，其中状态转换函数?由以下规则定义： (a) 若对某个A?VN及a?VT∪{?}，P中有产生式A→a，则令?(A,a)=f (b) 对任意的A?VN及a?VT∪{?}，设P中左端为A，右端第一符号为a的所有产生式为： A→aA1|…|aAk （不包括A→a）， 则令?(A,a)={A1,…,Ak}。 显然，上述M是一个NFA。 对于右线性正规文法G，在