语义分析 主要内容 语义分析概述(必要性、功能、描述方法) 句符号表 句类型表达式 声明和程序体的语义分析
语义分析 主要内容： 语义分析概述(必要性、功能、描述方法) 符号表 类型表达式 声明和程序体的语义分析
语义分析的必要性 语法和语义的区别; 语法:关于什么样的字符串才是该语言 在组成结构上合法的程序的法规。 语义:关于结构上合法的程序的意义的 法则
语义分析的必要性 语法和语义的区别； 语法：关于什么样的字符串才是该语言 在组成结构上合法的程序的法规。 语义：关于结构上合法的程序的意义的 法则
语义分析的功能 语义种类 静态语义:在编译阶段(从程序文本上)可 以检查的语义。 动态语义:通过程序的执行才能检查的语 义
语义分析的功能 语义种类 静态语义：在编译阶段(从程序文本上)可 以检查的语义。 动态语义：通过程序的执行才能检查的语 义
语义的描述 语义形式化方法: 1.操作语义 2.指称语义 3.公理语义 4.代数语义
语义的描述 语义形式化方法： 1. 操作语义 2. 指称语义 3. 公理语义 4. 代数语义
语义分析的内容: 类型分析; 标识符相关信息; 语义分析的功能: 检查语义错误 构造标识符属性表(符号表) 语义分析的实现: 与语法分析相结合
语义分析的内容： 类型分析； 标识符相关信息； 语义分析的功能： 检查语义错误 构造标识符属性表（符号表） 语义分析的实现： 与语法分析相结合