附录D递归下降语法分析及语法制导翻译结合

1、附录D递归下降语法分析和语法制导翻译结合-以算术表达式为例输入串： i1 + i2 * i3 i1 * i2 + i3文法GE: ETEE+TE TFT T*FT F(E) i源 目标i1 + i2 * i3movi1r1movi2r2muli3r2addr2r1i1 * i2 + i3movi1r1muli2r1addi3r1分析1：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT F(E) iE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1

2、 + i2 * i3分析1.1：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.2：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.

3、3.1：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.3.2：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.3.3：产生式及其对

4、应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.4.1：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.4.2：产生式及其对应的代码movi1r

5、1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析1.4.3：产生式及其对应的代码movi1r1movi2r2muli3r2addr2r1ETEE+TE TFT T*FT FiE |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 i1 + i2 * i3分析2：语义信息的传递分析：1. 信息要传递，需要载体；2. 信息传

6、递的方向和顺序。E |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 分析3：文法加入“属性”分析：1. 综合属性2. 继承属性3. L-属性文法E |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 ETEE+TE TFT T*FT F(E) i分析4：为产生式添加语义规则1. 产生式是用来表达语法单位的构造规则的，这些语法单产生式是用来表达语法单位的构造规则的，这些语法单位对应的语义是什么？位对应的语义是什么？2. 如何用属性及其

7、计算过程来表达这些语义信息？如何用属性及其计算过程来表达这些语义信息？E |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 ETEE+TE TFT T*FT F(E) i分析4.1：为产生式添加语义规则-加法1. ETET+TET+T+TET+T+T+TET+T+T+T.2. ETE ： 把第一个数往后传；把最终运算结果往前传。把第一个数往后传；把最终运算结果往前传。3. E +TE ： 取第一个数，跟第二个数做加法；取第一个数，跟第二个数做加法；“和和”往后往后传。传。4. E ：后面没有：后面没有“加法加法”

8、了；了；“总和总和”往前传。往前传。E |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 ETEE+TE TFT T*FT F(E) i分析4.2：为产生式添加语义规则-乘法1. TFTF*FTF*F*FTF*F*F*FTF*F*F*F.2. TFT ： 把第一个数往后传；把最终运算结果往前传。把第一个数往后传；把最终运算结果往前传。3. T *FT ： 取第一个数，跟第二个数做乘法；取第一个数，跟第二个数做乘法；“积积”往后往后传。传。4. T ：后面没有：后面没有“乘法乘法”了；了；“总积总积”往前传。往前传

9、。E |T - E | |F - T + - T - E | | | |i1 F - T | | i2 * - F - T | | i3 ETEE+TE TFT T*FT F(E) i分析4.3：为产生式添加语义规则-属性的计算ETEE+TE1ETFT T*FT1TF(E)FiE.i = T.s ; E.s = E.sgenCode( +, T.s , E.i ); E1.i = E.i ; E.s = E1.sE.s = E.iT.i = F.s ; T.s = T.sgenCode( *, F.s , T.i ); T1.i = T.i ;T.s = T1.sT.s = T.iF.s =

10、E.sgenCode( , id.addr , getRx() ); 利用属性的计算来表达语义规则，属性的计算过程就是语义处理的过程。分析4.4：为产生式添加语义规则-属性计算的时机ET E.i = T.s E E.s = E.s E+T genCode( +, T.s , E.i ) ; E1.i = E.i E1 E.s = E1.s E E.s = E.i . .F(E) F.s = E.s Fi genCode( , id.addr , getRx() ) 把属性的计算过程加入到语法分析中，则语法分析的过程同时也是语义处理的过程。分析5：在语法分析过程中加入语义处理代码ET E.i =

11、 T.s E E.s = E.s E+T genCode( +, T.s , E.i ) ; E1.i = E.i E1 E.s = E1.s E E.s = E.i /procedure of EE()T();E1();/procedure of EE1()if ( tok is +) eat( tok );T();E1();else if ( tok follow(E) ) return;else error();分析5.1：在语法分析过程中加入语义处理代码/procedure of EE()x = T() ;return E1( x );ET E.i = T.s E E.s = E.s

12、/E过程的控制流程E()T() ;E1();信息流分析5.2：在语法分析过程中加入语义处理代码E+T genCode( +, T.s , E.i ) ; E1.i = E.i E1 E.s = E1.s E E.s = E.i /procedure of EE1( x )if ( tok is +) eat( tok );y = T();genCode( +, y, x );return E1( x );else if ( tok follow(E) ) return ( x );else error();小结： 语法制导定义（Syntax-Directed Definition）把 每个文法符号和一个属性（attribute）集合相关联， 每个产生式和一组语义规则（semantic rule）相关联，这些规则用于计算与该产生式中符号相关联的属性值。 语法制导翻译( Syntax-Directed Trans