G

G代码解释器设计与实现

词法分析（Lexical analysis 或 Scanning）和词法分析程序（Lexical analyzer 或 Scanner）

词法分析阶段是编译过程的第一个阶段。这个阶段的任务是从左到右一个字符一个字符地读入源程序，即对构成源程序的字符流进行扫描然后根据构词规则识别单词(也称单词符号或符号)。词法分析程序实现这个任务。词法分析程序可以使用 lex 等工具自动生成。

语法分析（Syntax analysis 或 Parsing）和语法分析程序（Parser）

语法分析是编译过程的一个逻辑阶段。语法分析的任务是在词法分析的基础上将单词序列组合成各类语法短语，如“程序”、“语句”、“表达式”等等。语法分析程序判断源程序在结构上是否正确，源程序的结构由上下文无关文法描述。

语义分析（Syntax analysis）

语义分析是编译过程的一个逻辑阶段。语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查，进行类型审查。例如一个 C 程序片断：

源程序的结构是正确的。

语义分析将审查类型并报告错误：不能在表达式中使用一个数组变量，赋值语句的右端和左端的类型不匹配。

一个词法分析程序的自动生成工具。它输入描述构词规则的一系列正规式，然后构建有穷自动机和这个有穷自动机的一个驱动程序，进而生成一个词法分析程序。

一个语法分析程序的自动生成工具。它接受语言的文法，构造一个 LALR(1) 分析程序。因为它采用语法制导翻译的思想，还可以接受用 C 语言描述的语义动作，从而构造一个编译程序。Yacc 是 Yet another compiler compiler 的缩写。