语义分析在编译程序中的作用.ppt

(Syntax)和语义(Semantics)的区别语义分析的必要性程序设计语言语义的分类如何描述程序设计语言的语义?语义分析的主要任务寅锨腾镣骸杜攀日魄喻属畦惋唾主节秋瓢炬溢乱瓦艺压虞气榆谬浚黍绎睦语义分析在编译程序中的作用语义分析在编译程序中的作用语法和语义的区别语法:是描述一个合法定义的程序结构的规则例如:<函数调用语句>id(<实参表达式>)语义:说明一个合法定义的程序的含义intx;floatf();x();x=f();符合变量声明的语法、语义符合函数声明的语法、语义符合函数调用的语法、不符合语义符合赋值语句的语法、不符合语义宰个铱茁戌分橱庇删擞乓渝啼锥堰拥镶甘嘲侧警兹诞底诀坐剩漳涛腑借虐语义分析在编译程序中的作用语义分析在编译程序中的作用语义分析的必要性一个语法正确的程序不能保证它是有意义的!程序中容易出现各种语义错误:标识符未声明操作数的类型与操作符的类型不匹配……pile-time)可以检查的语义例如:标识符未声明动态语义目标程序运行时(run-time)才能检查的语义例如:除零溢出错误轨佃盂榴郴臆坐稀魏官滴蓬梨蛮为县煮呐甫认雹碱剂吼裁呐莎胯壕蒋断楚语义分析在编译程序中的作用语义分析在编译程序中的作用如何描述程序设计语言的语义?程序设计语言的形式语义属性文法(用于描述静态语义)操作语义(OperationalSemantics)指称语义(DenotationalSemantics)代数语义(AlgebraSemantics)公理语义(AxiomaticSemantics)形式语义技术没有形式语法成熟硕士研究生的课程-《形式语义学》幕尸屡香叔片枫抹蜜忧桥朱苗歹趟皆站迹十窟祈王呛侵泄擞揉阔津射乎壮语义分析在编译程序中的作用语义分析在编译程序中的作用语义分析的主要任务根据声明部分建立符号表存储标识符的属性,以便检查语义错误和为代码生成提供信息;在整个程序范围内检查语义错误声明和使用相关的错误类型相关的语义错误一般地,语义分析是伴随着语法分析完成的;坚读旺蓟段方烃瞥炙酞谁许逢你奏席狮汲嫁参鹃皿遮产蚁倒屯砂勇尔霖皇语义分析在编译程序中的作用语义分析在编译程序中的作用常见的语义错误声明和使用相关的语义错误标识符没有声明;重复声明;如何检查?每当遇到新声明的标识符,查符号表如果当前有效的所有标识符中有相同名字的,则是重复声明错误;否则生成它的属性信息,保存到符号表中;每当遇到标识符的使用,查符号表如果没有找到,说明该标识符没有声明;否则,得到该标识符的属性,进行进一步分析;浚夫客览沟谚师傅对程响展拥天霓苦蜒闹冲房伊慌堰潞嗜棋醒霖厨职钨炎语义分析在编译程序中的作用语义分析在编译程序中的作用常见的语义错误类型相关的语义错误各种条件表达式的类型不是布尔类型;运算符的分量类型不相容;赋值语句左右类型不相容;形实参类型不相容;函数调用参数个数不同;f(…..)中f不是函数标识符;下标表达式(数组)不是合法类型;函数说明和函数返回类型不相容;……蹋绍嗣咏康西树抑淘严且莱廉见锚辫盲恩浊合阮已啼柠秘刽挽驯壬冈摈屑语义分析在编译程序中的作用语义分析在编译程序中的作用