语义分析 通常包括 (1)类型检查。验证程序中执行的每个操作是否 遵守语言的类型系统的过程.,编译程序必须报告不 符合类型系统的信息。 (2)控制流检査。控制流语句必须使控制转移到 合法的地方 (3)一致性检查。在很多场合要求对象只能被定 义一次。例如 Pasca语言规定同一标识符在一个分 程序中只能被说明一次等等 (4)名字的作用域分析语义分析 通常包括： （1）类型检查。验证程序中执行的每个操作是否 遵守语言的类型系统的过程.，编译程序必须报告不 符合类型系统的信息。 （2）控制流检查。控制流语句必须使控制转移到 合法的地方。 （3）一致性检查。在很多场合要求对象只能被定 义一次。例如Pascal语言规定同一标识符在一个分 程序中只能被说明一次等等。 (4)名字的作用域分析