程序设计语言与编译ppt课件_8.3 说明语句的翻译.pptxVIP

第八章语义分析;C语言的变量说明语句：

inta,b,c

floatf1,f2,f3

Pascal语言的变量说明语句：

varabc:integer

varf1,f2,f3:real;示例语言的变量说明语句（仅支持整型变量）：

inta,b,c

采用下列文法：

D→Ti

T→Ti,|int

;T→int { T.type=int}

T→T1i, { sym_mod(i,T1.type)

T.type=T1.type

T.tac=T1.tac

T.tac+=tac(vari)}

D→Ti { sym_mod(i,T.type)

D.tac=T.tac

D.tac+=tac(vari)}

;源程序

inta,b,c

词法分析

inti,i,i

;归约过程

int●i,i,i

T●i,i,i

语义动作

……;归约过程

Ti,●i,i

T●i,i

语义动作

sym_mod

+=tac

;归约过程

Ti,●i

T●i

语义动作

sym_mod

tac

+=tac

;归约过程

Ti●

D●

语义动作

sym_mod

tac

+=tac