YACC自动生成的语义分析程序：类型检查与求值

本篇文档主要介绍了如何设计和实现一个基于自底向上的语法制导翻译技术的程序，用于分析和翻译计算机编程语言中的表达式。实验的核心任务是开发一个程序，它能够检查表达式的类型并求值，同时输出分析过程中的产生式、表达式的类型和值。 实验要求分为三个部分： 1. **语法制导定义或翻译方案**：需要设计一套自底向上的翻译规则，这些规则将指导程序如何解析输入的表达式。例如，规则可能包括E (expression) 可以分解为 E + T 或 E - T，其中T (term) 是一个基本的操作单元。 2. **分析程序实现**：编写一个程序，它能够处理这些规则，例如，当遇到 E+T 时，它会执行相应的计算（E.val+E.val+T.val），并根据操作数的类型（可能是int或real）更新E.type。程序应记录每个阶段的产生式，并输出识别的表达式类型和最终结果。 3. **实验方法**：实验提供了两种选择，一是自行编写分析程序，另一种是利用YACC工具自动生成分析器。这里采用了YACC，意味着需要先编写一个文法（如BNF），然后YACC会生成C代码来实现解析器。 **文法修改**：在使用YACC时，原有的文法需要调整以适应新的需求。删除了id的识别，只保留num和num.num，这意味着文法仅关注整型(int)和实型(real)。因为整型可以隐式转换为实型，所以重点在于处理这种类型转换。此外，为了跟踪表达式的类型，定义了一个新的综合属性E.type，它包含了value和type两个字段。 **翻译方案**：提供的翻译方案显示了如何处理不同类型的加减运算。对于E+T，如果两个操作数都是int或都是real，结果类型与输入相同；如果一个为int，一个为real，则需要进行隐式转换，结果类型变为real。 总结，这个实验涉及的主要知识点包括词法分析、语法分析、自底向上翻译、类型检查和隐式类型转换。参与者需要掌握如何利用YACC工具生成解析器，以及如何根据文法定义调整程序逻辑以正确处理不同类型的数据。通过实践，学生可以深入了解程序设计中的语义分析和类型系统。