赋值语的S-属性潮泽女法 1.Statement-AssignSt { 2.AssignSt-Varable:Expr GEN(:=,$4.PLACE,0,$1.PLACE) 3.Expr→Expr+Expr $.PLACE=NewTemp(); GEN(+,$1.PLACE,$3.PLACE,$$.PLACE);} 4.|Expr Expr {.PLACE=NewTemp(); GEN(*,$1.PLACE,$3.PLACE,$.PLACE);} 5.Expr )$$.PLACE=$2.PLACE;} 6.|identifier {$.PLACE=Entry($1);} 7.Varable-identifier {$$.PLACE=Entry($1);} 赋值语句的S-属性翻译文法 1.Statement→AssignSt {} 2.AssignSt→Varable : = Expr {GEN(:=,$4.PLACE, 0 , $1.PLACE);} 3.Expr→Expr + Expr {$$.PLACE=NewTemp(); GEN(+,$1.PLACE,$3.PLACE,$$.PLACE);} 4. | Expr * Expr {$$.PLACE=NewTemp(); GEN(*, $1.PLACE,$3.PLACE,$$.PLACE);} 5. | ( Expr ) {$$.PLACE=$2.PLACE;} 6. | identifier {$$.PLACE=Entry($1);} 7.Varable→ identifier {$$.PLACE=Entry($1);}