语义分析 - DGSO百科

语义分析 百科内容来自于: 百度百科

语义分析是编译过程的一个逻辑阶段, 语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查,进行类型审查。语义分析是审查源程序有无语义错误,为代码生成阶段收集类型信息。比如语义分析的一个工作是进行类型审查,审查每个算符是否具有语言规范允许的运算对象,当不符合语言规范时,编译程序应报告错误。如有的编译程序要对实数用作数组下标的情况报告错误。又比如某些某些程序规定运算对象可被强制,那么当二目运算施于一整型和一实型对象时,编译程序应将整型转换为实型而不能认为是源程序的错误。 语义分析的地位:编译程序最实质性的工作;第一次对源程序的语义作出解释,引起源程序质的变化。

语义分析的地位

语义分析的地位:编译程序最实质性的工作;第一次对源程序的语义作出解释,引起源程序质的变化。

语义分析的任务

按照语法分析器识别的语法范畴进行语义检查和处理,产生相应的中间代码或目标代码.

中间代码

介于源语言和目标代码之间的一种代码。

引入中间代码的目的

1. 方便生成目标代码;
2. 便于优化;
3. 便于移植。

举例

一个C程序片断
int arr[2],b;
b = arr * 10;
源程序的结构是正确的. 语义分析将审查类型并报告错误:不能在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.
又比如在语句sum:=first+count*10中,*的两个运算对象:count是实型,10是整型,则语义分析阶段进行类型审查之后,在语法分析所得到的分析树上增加一语义处理结点,表示整型变成实型的一目算符inttoreal.
例:id1:=id2+id3*10
语法分析得知其是Pascal语言,表示成语法树为:
:=
/ \
id1 +
/ \
id2 *
/ \
id3 10
经语义分析得插入语义处理结点的树:
:=
/ \
id1 +
/ \
id2 *
/ \
id3 inttoreal
|
10
在高级程序设计语言翻译中,语义分析阶段的工作不与目标机器的体系结构密切相关,而目标代码生成阶段的工作与目标机器的体系结构密切相关。

语义分析的作用

在一个社会网络中常有节点之间的信息交流。可以对这种社会网络进行分析的一种强大的用来获得和理解文本信息的技术被称为语义网消息传输分析(语义分析)。作为一个在人工智能和计算语言学的方法,它为知识推理和语言提供了一个结构和过程。