LR文法基础与语义分析实现

本文档主要介绍了如何在已有的词法分析和语法分析基础上，添加语义分析部分，以实现一个简单的表达式计算器。该任务基于LR文法，当进行产生式归约时，执行对应的语义动作，以实现语法制导的翻译过程。 首先，我们要理解语义分析的目的是确保程序能够正确解释和执行输入表达式的含义。在这个任务中，语义规则被嵌入到语法分析过程中，以S属性的语法制导定义为基础。以下是给出的语义规则： 1. L → En：打印E的值（E.val） 2. E → E1 + T：E的值等于E1和T的值之和（E.val := E1.val + T.val） 3. E → T：E的值等于T的值（E.val := T.val） 4. T → T1 * F：T的值等于T1和F的值的乘积（T.val := T1.val * F.val） 5. T → F：T的值等于F的值（T.val := F.val） 6. F → (E)：F的值等于E的值（F.val := E.val） 7. F → digit：F的值等于digit的词法值（F.val := digit.lexval） 接下来，我们需要在已有的词法分析和语法分析程序中，集成这些语义规则。这意味着在LR解析器进行归约操作时，需要执行相应的语义动作。例如，当解析器识别到“E → E1 + T”的归约时，程序应执行E.val := E1.val + T.val这条语义规则。 输入示例为“5+3+8*2”，期望输出为24。如果输入不合法，如“3++2”，程序应提示用户重新输入。由于处理的是具体数值，所以需要调用词法分析功能来识别数字。 扩展部分要求： 1. 支持浮点数和科学计数法的运算。 2. 增加减法和除法的运算符，以及对应的产生式，计算语义结果。 3. 提供了两个程序版本，一个是使用递归下降法实现，另一个是非递归预测分析方法实现。你可以选择其中之一作为基础，增加减法和除法的操作，并更新文法规则，输出表达式的结果。 在提供的代码片段中，可以看到一个基于栈的数据结构用于存储分析过程中的状态和值。函数如`guiyue`、`Push`、`Pop`和`PrintStack`用于处理解析过程。在实际的语义分析实现中，这些函数需要根据语义规则进行相应修改，以便在归约时执行相应的计算操作。 这个任务要求我们结合词法分析、语法分析和语义分析，构建一个能够处理基本算术表达式的计算器。通过对给定的产生式添加语义规则，并在LR解析过程中执行这些规则，我们可以实现一个能够正确计算和处理错误输入的程序。