编译原理——编译程序构造实践教程 教学课件 作者 张幸儿 戴新宇 801编译程序构造与实践教程第八章.pptVIP

概括1. 程序错误的种类2. 错误复原与错误校正 概念 错误复原相关的问题3. 语义错误 种类 语义错误检查措施 * * 第8章 程序错误的检查和校正 8.1 概述 8.1.1 程序错误检查的必要性 程序中存在错误在所难免。 一个好的编译程序，应能具有较强的查错和改错能力。查错，就是编译程序能在编译时刻，及时而准确地发现源程序中的错误，并能以简明的方式，向程序书写者报告这些错误的性质和出现的确切位置。 目标是一次编译就能查出尽可能多，甚至全部的错误。 8.1.2. 错误的种类 词法错误 语法错误 语义错误 违犯环境限制的错误 1. 词法错误： 编译程序在词法分析阶段发现的源程序错误。例如，关键字（保留字）拼写错、标点符号错与非法字符等。 2. 语法错误： 编译程序在语法分析阶段发现的源程序错误,亦即，书写不符合某语法成分的语法规则。例如，作为语句括号的{与}不匹配、(与)不匹配，if语句中的条件表达式未用小括号对括住，以及else没有匹配的if等等。另外，变量未说明或被重定义等也可看作语法 (全局语法)错误。 3. 语义错误 源程序中的语义错误有两类： 1) 静态语义错误，这在编译时刻发现。例如,语义分析