语法制导的语义翻译
Posted fzybk
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了语法制导的语义翻译相关的知识，希望对你有一定的参考价值。
1.语法文法G[E]如下所示：
–E→E+T | E-T | T
–T→T* F | T/F | F
–F→P^ F | P
–P→(E) | i
- 要求构造出符合语义分析要求的属性文法描述
解：
E -> E+T
{ E.place := newtemp; emit( E.place , ‘ := ‘ , E.place , ‘ + ‘ , T.place )}
E -> E-T
{ E.place := newtemp; emit( E.place , ‘ := ‘ , E.place , ‘ - ‘ , T.place )}
E -> T
{ E.place := newtemp; emit( E.place , ‘ := ‘ , T.place )}
T -> T*F
{ T.place := newtemp; emit( T.place , ‘ := ‘ , T.place , ‘ * ‘ , F.place )}
T -> T/F
{ T.place := newtemp; emit( T.place , ‘ := ‘ , T.place , ‘ / ‘ , F.place )}
T -> F
{ T.place := newtemp; emit( T.place , ‘ := ‘ , F.place )}
F -> P^F
{ F.place := newtemp; emit( F.place , ‘ := ‘ , P.place , ‘ ^ ‘ , F.place )}
F -> P
{ P.place := newtemp; emit( F.place , ‘ := ‘ , P.place )}
P -> (E)
{ P.place := E.place;}
P -> i
{ if i <> nil then emit( P.place , ‘:=‘ , i.place ) else error}
以上是关于语法制导的语义翻译的主要内容，如果未能解决你的问题，请参考以下文章