编译原理中的语义分析程序

简介：
简介：语义分析程序是编译器的重要组成部分，负责检查源代码在语法正确的基础上是否符合语言定义的意义和规则。通过对类型、作用域等进行深入解析，确保生成的目标代码既有效又安全。 完成实验的要求是进行语义分析。非终结符号D用于实现定义两种类型的变量声明：整型(int) 和实型(real) 变量；而非终结符号S则负责处理变量之间的乘法(*)、加法(+)、除法(/)和赋值(:=)运算。在这些操作中，只能使用之前已经声明过的变量，并且需要检查使用的变量是否已经被声明过。 此外，禁止对同一个名称进行重复的变量声明，在登记新的符号前必须确认没有同名的变量存在。对于每个乘法(*)、加法(+)、除法(/)和赋值(:=)运算，都需要生成一条四元式，例如（*，A，B，T1），其中T1代表一个临时变量。 需要注意的是，在进行计算时，“*” 和 “/” 的优先级高于“+”，同时，“*” 和 “/” 满足左结合规则。