编译原理实验三 语义分析.doc

编译原理实验三语义分析 本实验的主要目标是实现语义分析部分的编译原理实验三，主要包括语义分析、符号表管理和类型检查三个部分。 语义分析 语义分析是编译器的中间阶段，目的是检查源代码中是否有语法错误，并生成语法树。语义分析的输入是词法分析生成的 token[] 和 tokenstring[]，输出是语法树和符号表。语义分析的主要步骤包括： 1. 语法分析：使用递归下降分析法生成语法树。 2. 符号表管理：建立符号表，存储变量的信息。 3. 类型检查：检查变量的类型是否正确。 语法分析 语法分析使用递归下降分析法生成语法树，语法规则如下： stmt_seq --> statement ; stmt_seq | statement statement --> decl_stmt | assign_stmt decl_stmt --> type var_list type --> int | float var_list --> id , var_list | id assign_stmt --> id := exp exp --> exp + term | exp - term | term term --> term * factor | term / factor | factor factor --> id | num | ( exp ) 符号表管理 符号表管理是语义分析的重要部分，符号表用于存储变量的信息，包括变量的名称、类型和值。符号表的实现使用哈希表，哈希函数将变量的名称映射到符号表中。 类型检查 类型检查是语义分析的最后一步，检查变量的类型是否正确。类型检查使用符号表中的信息，检查变量的类型是否与声明时的类型相同。 实验实现 实验实现使用 C 语言编写，main 函数是程序的入口点，首先调用 stmt_seq() 函数生成语法树，然后调用 buildsymtab() 函数建立符号表，最后调用 pretraverse() 函数遍历语法树，并调用 setnodetype() 函数进行类型检查。 本实验实现了语义分析部分的编译原理实验三，包括语义分析、符号表管理和类型检查三个部分。该实验可以帮助学生更好地理解编译原理的概念和实现方法。