编译原理6-4.1-L属性文法-翻译模式

L-属性文法
一个属性文法称为 L-属性文法 属性文法 如果对于每个产生式 A→X1X2…Xn， → 其每个语义规则中的每个属性或者是综合属性， 其每个语义规则中的每个属性或者是综合属性， 综合属性 或者是X 的一个继承属性 或者是 j(1<=j<= n)的一个继承属性 , 且这个继承属 的一个 性仅依赖于： 性仅依赖于： (1) 产生式 j的左边符号 1，X2，…，Xj-l的属性 产生式X 左边符号X ， (2) A的继承属性 的继承属性 S-属性文法一定是 属性文法 属性文法一定是L-属性文法 属性文法一定是
2
R T print(‘+’) R
5
print(5)
print(2)
ε
4 把语义动作看作是终结符号 按深度优先次序遍历分析树，即得到 9 5 － 2 ＋ 按深度优先次序遍历分析树，
图6.10 9－５+2 的说明动作的语法分析树 参考输出后缀式的属性文法☆ 参考输出后缀式的属性文法☆
只需要综合属性时 可以这样建立翻译模式: 只需要综合属性时, 可以这样建立翻译模式 为每一个语义规则建立一个包含赋值的动作 为每一个语义规则建立一个包含赋值的动作, 右边的末尾。 并把这个动作放在相应的产生式右边的末尾。 并把这个动作放在相应的产生式右边的末尾 例如，假设有下面的产生式和语义规则： 例如，假设有下面的产生式和语义规则： T →T1* F 建立翻译模式： 建立翻译模式： T →T1* F ｛T. val := T1. val * F. val｝ ｝ T. val := T1.val * F. val
下面的翻译模式不满足上述三个条件中的第一个条件: 下面的翻译模式不满足上述三个条件中的第一个条件 不满足上述三个条件中的第一个条件 (1)产生式右边的符号的继承属性必须在这个符号以前 产生式右边的符号的继承属性必须在这个符号以前 产生式右边的符号的继承属性必须在这个符号 的动作中计算出来 中计算出来。 的动作中计算出来。 S→A1 A2 { A1. in:=1; A2. in:=2 } A→a { print(A. in) }
E
1
.val
图6.11 盒子的语法制导安放
表6.8 盒子大小和高度的属性文法 产 生 式 S→B B → B1 B2 继承属性ps影响 继承属性 影响 语 义 规 则 公式的高度 B.ps := 10; 综合属性B.ht代表 综合属性 代表 S.ht := B.ht B的高度 的高度 B1.ps := B.ps; B2.ps := B.ps; B.ht := max(B1.ht, B2.ht ) .ps减少 减少30% 使B2.ps减少30% B1.ps:=B.ps; B2.ps:= shrink(B.ps); 把盒子B 把盒子 2向下放置 B.ht := disp (B1.ht, B2.ht ) 查表获得 B.ht := text.h × B.ps
(a, a) 2 4
S.in=0 S S.out=5 1L4 ) {S. out := L. out + 1 }
{L. in := S. in + 1} (
{L1. in := L. in } 1 L 2 , {S. in := L1. out + 1 } 3 S 4 {L. out := S. out } {S. in := L. in } 1 S 2 {L. out := S. out } {S. out := S. in + 1; print (S. out) }
S → {B.ps := 10 } B {S.ht := B.ht } B → {B1.ps := B.ps } B1 {B2.ps := B.ps } B2 {B.ht := max(B1.ht, B2.ht ) } B → { B1.ps :=B.ps } B1 sub { B2.ps := shrink(B.ps) } B2 {B.ht := disp (B1.ht, B2.ht ) } B → text {B.ht := text.h × B.ps }
如果既有综合属性又有继承属性， 如果既有综合属性又有继承属性，在建立翻译模式时 综合属性又有继承属性 就必须满足三个条件 (1)产生式右边的符号的继承属性必须在这个符号以前 产生式右边的符号的继承属性必须在这个符号以前 产生式右边的符号的继承属性必须在这个符号 的动作中计算出来 中计算出来。 的动作中计算出来。 (2)一个动作不能引用这个动作右边的符号的综合属性。 一个动作不能引用这个动作右边的符号的综合属性。 一个动作不能引用这个动作右边的符号的综合属性 (3)产生式左边非终结符的综合属性只有在它所引用的 产生式左边非终结符 产生式左边非终结符的综合属性只有在它所引用的 所有属性都计算出来以后才能计算。 所有属性都计算出来以后才能计算。计算这种属性 的动作通常可放在产生式右端的末尾 右端的末尾。 的动作通常可放在产生式右端的末尾。
A→QR →
依赖于右部符号R的综合属性 的综合属性R.s 因为 Q.i 依赖于右部符号 的综合属性
6.4.1 翻译摸式
翻译模式（ 翻译模式（Translation schemes） ） 一种适合语法制导翻译的另一种描述形式。 一种适合语法制导翻译的另一种描述形式。 在翻译模式中， 在翻译模式中，和文法符号相关的属性和语义 规则（语义动作），用花括号｛｝括起来， ），用花括号｛｝括起来 规则（语义动作），用花括号｛｝括起来，插 入到产生式右部的合适位置上 的合适位置上。 入到产生式右部的合适位置上。
a {S. out := S. in + 1;
print (S. out) }
a
思考: 属性 S′ → {S. in := 0 } S S → {L. in := S. in + 1 } ( L ) {S. out := L. out + 1 } in和out的 和 的 S → a {S. out := S. in + 1; print (S. out) } 含义是什么? 含义是什么 L → {L1. in := L. in } L1 , {S. in := L1. out + 1 } S {L. out := S. out } L → {S. in := L. in } S {L. out := S. out }
L-属性文法
L-属性文法可通过一次遍历就计算出所有属性值。 属性文法可通过一次遍历就计算出所有属性值。 属性文法可通过一次遍历就计算出所有属性值 诸如LL(1)这种自上而下分析方法的分析过程，从概 这种自上而下分析方法的分析过程， 诸如 这种自上而下分析方法的分析过程 念上说可以看成是深度优先 深度优先建立语法树的过程 念上说可以看成是深度优先建立语法树的过程 我们可以在自上而下语法分析的同时实现L-属性文 自上而下语法分析的同时实现 我们可以在自上而下语法分析的同时实现 属性文 法的计算。 法的计算。
第六章 属性文法和语法制导翻译
6.1 6.2 6.3 6.4 6.5 属性文法 基于属性文法的处理方法 S-属性文法的自下而上计算 属性文法的自下而上计算 L-属性文法和自顶向下翻译 属性文法和自顶向下翻译 自下而上计算继承属性
L6.4 L-属性文法和自顶向下翻译
6.4.1 翻译模式 6.4.2 自顶向下翻译 6.4.3 递归下降翻译器的设计
S A a print(A.in) 1 a A {A1. in:＝1; A2. in:=2｝ ＝ ｝ 3 print(A.in) 2
该属性还没有定义
可以改为
S→ {A1. in:＝1} A1 { A2. in:=2 } A2 ＝
S→ {A1. in:＝1} A1 { A2. in:=2 } A2 ＝
S′ → {S. depth := 0 } S ′ S → {L. depth := S. depth + 1 } ( L ) S → a { print (S. depth) } L → {L1. depth := L. depth } L1 , {S. depth := L. depth } S L → {S. depth := L. depth } S ( a , ( a , a) ) 1 2 2
S 0 ( L1 ) S 1 ( L2 ) S2 a
L1 , S 1 a
L2 , S2 a
补充例2 补充例2 为文法 G: S → ( L ) | a L→L,S|S 写一个翻译方案,打印出每个a在句子中是第几个字符 写一个翻译方案,打印出每个 在句子中是第几个字符 例如,当句子是 ( a , ( a , ( a , a ) , (a) ) )时， 例如, 时 8 10 14 打印的结果是 2 5
B → B1 sub B2
B → text
非终结符B(表示盒子 代表一个公式 非终结符 表示盒子)代表一个公式， 表示盒子 代表一个公式， 产生式B→ 代表两个盒子并置， 产生式 →BB 代表两个盒子并置， B→B1 sub B2 代表B2的大小比B1的小,并且放在下角标的位置 → 代表 的大小比 的小 并且放在下角标的位置
S
{A1. in:＝1} ＝ 1 a
A
{A2. in:=2} 3 print(A.in) a 2
A print(A.in) 4
例: 给定一个L-属性文法, 建立一个满足上述 给定一个L 属性文法,
三个条件的翻译模式。 三个条件的翻译模式。
基于数学格式语言EQN 基于数学格式语言 E sub 1 .Val 给定输人 EQN把E，1和.val分别按不同的大小放在相关 把 ， 和 分别按不同的大小放在相关 的位置上，如图所示。 的位置上，如图所示。
S′ → {S. depth := 0 } S ′ S → {L. depth := S. depth + 1 } ( L ) S → a { print (S. depth) } L → {L1. depth := L. depth } L1 , {S. depth := L. depth } S L → {S. depth := L. depth } S