程序设计语言与编译ppt课件_8.1 语义分析概述.pptxVIP

第八章语义分析;语义检查

一致性检查（类型是否一致）；越界检查（数组维数是否正确）。

语义处理

对说明语句，将信息登记在符号表中；对执行语句，生成中间代码。;语法分析只能判断一个句子是否合法，不能给出句子的含义。

句子的含义是通过语义分析体现出来的。

例如：文法G

E→E+E|E–E|E*E|E/E|i

对表达式1+2的分析过程：

;仅语法分析：

结合语义分析后：

;赋予每个文法符号以各种不同的值，这些值称为语义值。

表示形式：X.Y

其中，X为文法符号，Y为语义值的名称。

例如： i.type表示符号i的type语义值

i.VAL表示符号i的VAL语义值

L.Address表示符号L的Address语义值

……

;语义动作

每当用一个产生式进行归约时，需要执行相应的动作对语义值进行操作，这些动作称为语义动作。

语义子程序

每个产生式对应一个语义子程序，负责完成相应的语义动作。每当用一个产生式进行匹配或归约时，相应的语义子程序被调用，完成相应的语义动作。;例子：文法G的产生式和语义子程序

E→E1+E2{E.VAL=E1.VAL+E2.VAL}

E→i{E.VAL=i.VAL}

分析输入串1+2时，语义分析与语法分析同步进行，由语法分析判断输入串是否合法，由语义分析计算它的值：;整数类型语义值（expression.y+expression.l）

其它类型语义值（assignment.y+assignment.l）