语法制导翻译精要.ppt

基于翻译模式的自下而上语义处理（翻译） 分析栈中继承属性的访问（较复杂的例子） N ? . M S print(val [top] .v) S ? B P S1 val [top-2].v := val [top].v + val [top-2].v S ? ? val [top+1].v := 0 B ? 0 val [top].v := 0 B ? 1 val [top].v := 2^(-val [top-1].v) M ? ? val [top+1].v := 1 P ? ? val [top+1].v := val [top-1].v+1 (分析栈val 存放文法符号的综合属性，top为栈顶指针) 产生式 依产生式归约时语义处理的代码片断 N ? . M { S.f : = M.s } S { print(S.v) } S ? { B.f : =S.f } B { P.i :=S.f } P { S1.f := P.s } S1 {S.v := S1.v+B.v } S ? ? { S.v := 0 } B ? 0 { B.v := 0 } B ? 1 { B.v := 2^(-B.f) } M ? ? { M.s : =1} P ? ? { P.s := P.i +1 } 例: 处理输入串 .101 # - ? . - M 1 B 0.5 P 2 0 - 基于翻译模式的语义处理 基于翻译模式的自下而上语义处理（翻译） 分析栈中继承属性的访问（较复杂的例子） N ? . M S print(val [top] .v) S ? B P S1 val [top-2].v := val [top].v + val [top-2].v S ? ? val [top+1].v := 0 B ? 0 val [top].v := 0 B ? 1 val [top].v := 2^(-val [top-1].v) M ? ? val [top+1].v := 1 P ? ? val [top+1].v := val [top-1].v+1 (分析栈val 存放文法符号的综合属性，top为栈顶指针) 产生式 依产生式归约时语义处理的代码片断 N ? . M { S.f : = M.s } S { print(S.v) } S ? { B.f : =S.f } B { P.i :=S.f } P { S1.f := P.s } S1 {S.v := S1.v+B.v } S ? ? { S.v := 0 } B ? 0 { B.v := 0 } B ? 1 { B.v := 2^(-B.f) } M ? ? { M.s : =1} P ? ? { P.s := P.i +1 } 例: 处理输入串 .101 # - ? . - M 1 B 0.5 P 2 0 - 基于翻译模式的语义处理 基于翻译模式的自下而上语义处理（翻译） 分析栈中继承属性的访问（较复杂的例子） N ? . M S print(val [top] .v) S ? B P S1 val [top-2].v := val [top].v + val [top-2].v S ? ? val [top+1].v := 0 B ? 0 val [top].v := 0 B ? 1 val [top].v := 2^(-val [top-1].v) M ? ? val [top+1].v := 1 P ? ? val [top+1].v := val