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

附录D 递归下降语法分析和语法制导翻译结合---- 以算术表达式为例 源 目标 i1 + i2 * i3 分析1：产生式及其对应的代码 i1 + i2 * i3 分析1.1：产生式及其对应的代码 i1 + i2 * i3 分析1.2：产生式及其对应的代码 i1 + i2 * i3 分析1.3.1：产生式及其对应的代码 i1 + i2 * i3 分析1.3.2：产生式及其对应的代码 i1 + i2 * i3 分析1.3.3：产生式及其对应的代码 i1 + i2 * i3 分析1.4.1：产生式及其对应的代码 i1 + i2 * i3 分析1.4.2：产生式及其对应的代码 i1 + i2 * i3 分析1.4.3：产生式及其对应的代码 i1 + i2 * i3 分析4.3：为产生式添加语义规则--属性的计算 分析4.4：为产生式添加语义规则--属性计算的时机 分析5：在语法分析过程中加入语义处理代码 分析5.1：在语法分析过程中加入语义处理代码 分析5.2：在语法分析过程中加入语义处理代码 小结： 语法制导定义（Syntax-Directed Definition）把 ①每个文法符号和一个属性（attribute）集合相关联， ②每个产生式和一组语义规则（semantic rule）相关联，这些规则用于计算与该产生式中符号相关联的属性值。 语法制导翻译( Syntax-Directed Translation )：向一个文法的产生式附加一些语义规则或程序片段，然后伴随着语法分析执行这些语义规则或程序片段。 两种常用的SDD: S属性的定义 L属性的定义 练习： * * 输入串： i1 + i2 * i3 i1 * i2 + i3 文法G[E]: E→ TE E→ +TE ∣ε T→ FT T→ *FT ∣ε F→ (E) ∣i mov i1 r1 mov i2 r2 mul i3 r2 add r2 r1 i1 * i2 + i3 mov i1 r1 mul i2 r1 add i3 r1 mov i1 r1 mov i2 r2 mul i3 r2 add r2 r1 E→ TE E→ +TE ∣ε T→ FT T→ *FT ∣ε F→ (E) ∣i E | T ---------- E | | F -- T + ---- T ------------ E | | | | i1 ε F ---- T ε | | i2 * ---- F ---- T | | i3 ε mov i1 r1 mov i2 r2 mul i3 r2 add r2 r1 E→ TE E→ +TE ∣ε T→ FT T→ *FT ∣ε F→ i E | T ---------- E | | F -- T + ---- T ------------ E | | | | i1 ε F ---- T ε | | i2 * ---- F ---- T | | i3 ε mov i1 r1 mov i2 r2 mul i3 r2 add r2 r1 E→ TE E→ +TE ∣ε T→ FT T→ *FT ∣ε F→ i E | T ---------- E | | F -- T + ---- T ------------ E | | |