语义分析是编译过程的一个逻辑阶段， 语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查，进行类型审查。语义分析是审查源程序有无语义错误，为代码生成阶段收集类型信息。比如语义分析的一个工作是进行类型审查，审查每个算符是否具有语言规范允许的运算对象，当不符合语言规范时，编译程序应报告跟西血庆背编答错误。如有的编译程序要对实数用作数组下标的情况报告错误。又比如某根免班精菜异富些某些程序规定运算对象可被强制，那么当二目运算施于一整型和一实型对象时，编译程序应将整型转换为实型而不能认为是源程序的错误。
语义分析的地位:编译程序最实质性的工作;第一次对源程序的语来自义作出解释，引起源程序质的变化。
语义分析的地位:编译程序最实质性的工作;第一次对源程序的语义作出解释，引起源程序质的变化。
按照语法分析器识家错斗比属因元织别的语法范畴进行语义检查纸死吗升步最略品愿和处理，产生相应的中间代码或目标代码.
介于源语言和目标代码之间的一种代码。
来自1. 方便生成目标代码;
360百科2. 便于优化;
3. 便于移植。
一个C程序片断
int arr[2],b;
b = arr * 10;
源程序的结构是正确的. 语义分析将审查类型并报告错误:不能在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.
又比如在语句sum:=first+count*10中，*的两个运算对象:count是实型，10会款谈关做湖且是整型，则语义分析阶段进行类型审查之后，在语法分析所得到的分析树上增加一语义处理利体行指否县结点，表示整型变成攻化前才关流尔及供实型的一目算符i定nttoreal.
例:id1:=id2+id3*10
经语法分析得知其是Pascal语言，表示成语法树祖达展为:
:=
/ \
id1 +
/ \
歌id2 *
/ \
id3 10
经语义分析得插入语义处理结点的树:
:=
/ \
id1 +
位 / \
id2 *
/ 紧农烈示护\
id3 inttoreal
|
10
在高级程序设计语言翻译中，语义分识境文析阶段的工作不与目标机器的体系结构密切相关，而目标代补它载教因离码生成阶段的工作与目标机器的体系结构密切相关。
在一个社会网络中常有节点之间的信息交流。可以对这种社会网络进行分析的一种强大的用来获得和理解语可文本信息的技术被称为语义网消息传输分析(语义分析)。作为一个在人工智能和计算语言学的方法，它为知识推理和语言提供了一个结构和过程。
关注微信