编译原理简明教程(第2版)[冯秀芳,崔冬华,段富][电子教案] 第12章.pptVIP

12.3.1 语法错误的复原 不言而喻，不同的分析技术发现错误的手段和方式是不同的。例如，LL(1)与LR(1)分析技术都是当前栈顶状态与当前输入符号配对所对应的分析表元素空白时为出错。然而，对于优先技术，则是当前栈顶符号和当前输入符号匹配时，它们之间不存在优先关系而发现错误。显然，有的分析技术可对所发现的错误准确地定位，采取一定的措施，使语法分析能继续进行下去。 12.3.1 语法错误的复原 有的编译程序，对语法错误复原采取的措施是简单地放过相应的语法结构，例如，放过一个语句的后继符号等。这种过于简单的做法往往失去发现更多语法错误的机会。更合适的是设法进行校正，尽管这种校正不能保证总是成功的，然而，关于校正的信息可供用户(程序书写人员)参考。 12.3.2 语法错误的校正 1．自顶向下分析中错误的校正 假定在自顶向下分析过程中的某一时刻，源程序符号串可写为w1Aw2的形式，其中，w1是已扫描部分，A是当前扫描符号，而w2是输入符号串的其余部分。如果扫描到A时发现错误，分析程序又无法确定下一个合法的分析动作，换言之，已构造的语法树部分可覆盖w1，但不能继续构造语法树去覆盖A与其余部分w2。 12.3.2 语法错误的校正 一般可有如下三种修改措施。 ① 删去A，继续进行分析。 ② 插入终结符号串X成为w1XAw2，从XAw2的首符号开始继续进行分析。 ③ 修改w1，例如，删去w1尾部的若干个符号、替换w1尾部的若干个符号或者在w1之后插入若干个符号。 12.3.2 语法错误的校正 修改措施③显然是不可取的，因为w1已经处理过，不可能再次直接取到，且对已处理的部分进行修改，往往要改变语义信息，实现上较为困难，因此不宜采用。 例如，假如有源程序语句： i：=i+)； 处理到符号“)”时显然将发现存在错误，一般地，当按自顶向下分析技术构造语法树时，对照语法树和预期展开的符号串，采用上述修改措施①和②，将把所给语句修改成 i：=i+i； 2．自底向上分析中错误的校正 自底向上分析技术包括优先分析技术(简单优先和算符优先)与LR分析技术。这里以LR分析技术为例说明自底向上分析中语法错误的校正。 在LR分析技术中，LR分析表的ACTION部分指明了当前分析栈顶的状态与当前输入符号配对时所应执行的动作。如果是空白元素，表明一个错误，即当前输入符号有错。为了对语法错误校正，可以对应于每个空白元素，引进一个出错处理子程序，根据出错情况，在各个出错处理子程序中做出相应处理。 这里仍以语句： i：=i+)； 为例进行讨论。 假定扫描到上述语句中的符号“+”时进入状态Sk，则ACTION[Sk,)]当然为出错(空白元素)。假定引进的响应出错处理子程序Ei，其功能有二：删去当前输入符号和发出出错信息“不合法的输入符号：……”。那么，执行动作ACTION[Sk,)]将调用子程序Ei，因而，删去当前输入符号，并发出出错信息：“不合法的输入符号：)”。这时将扫描下一个符号继续分析下去，即读入符号，执行动作ACTION[Sk, ;]，为出错，类似地引进出错处理子程序Ej，其功能可能如下：将一假想的标识符i及相应状态S1下推入分析栈，并发出出错信息：运算符分量缺少，然后执行动作ACTION[S1, i] 这里， ACTION[Sk,i]=S1 因此，最终，上述语句校正为 i：=i+i； 其他出错处理子程序可类似地设计。 不言而喻，关于每个错误的修改信息应由出错处理子程序提供给用户(程序书写人员)以便参考，完成真正的校正。 其他各类分析技术，可以参照上述实现思想进行源程序语法错误的校正。 12.4 校正语义错误 12.4.1 语义错误的种类 12.4.2 语义错误检查措施 12.4.1 语义错误的种类 如前所述，语义错误有两类，一类是在编译时可以发现的静态语义错误，另一类是在运行时才能发现的动态语义错误。 1．静态语义错误 静态语义错误可能由数据结构引起，有运算符不合法和运算分量类型不相容等，例如，对数组变量进行加法运算，又如两个实型变量X和Y进行MOD运算，该MOD运算对于运算分量X和Y是不合法的；如果X为实型变量，Y为字符型变量，它们要进行加法运算，那么，对于Pascal语言，该加法运算符的两个运算分量类型是不相容的。这样一些由数据结构引起的静态语义错误可由语义分析查出。 12.4.1 语义错误的种类 语义分析程序还进行控制流方面的某些静态语义检查，例如，由循环外控制转移到循环内，由转向语句把控制转移到一个构造语句(条件语句与情况语句等)内，或者转移到分程序内，等等，发现控制流的某些静态语义错误。 显然，静态语义错误是容易准确地定位和确定错误性质的。 2．动态语义错误 动态语义错误是在运行目标代码时才能发现的源程序错误。最