PL0编译程序的语法错误处理.doc

《PL0编译程序的语法错误处理.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、PL0编译程序的语法错误处理1.基本法则关键字法则：语法结构，尤其是每种构造语句和说明，以关键字开头。镇定法则：发现非法结构后，即跳过后面的输入正文，直到下一个可以正确地后随当前正在分析的句子结构的符号为止。亦即每一分析程序知道在其当前活动点的后继符号的集合。2.处理方法(1)给每个分析函数提供一个参数FSYS，它指明可能的后继符号。在每个函数的末尾包括一个测试，以保证输入正文的下一个符号真的属于后继符号集（如果有语法错误的话）。(2)为了尽量减少忽略直到下一个后继符号为止的中间所有正文，在后继符号集添加一些关键字，它们专门标记那些不容忽略的结

2、构的开始符。因此，作为参数传递给分析函数的就不仅是后继符号了，可称为停止符号。具体来说，先用一些明显的关键字给它们赋予初值，然后随着分析子目标的层次的深入，逐步补充别的合法符号。TEST函数就是用来完成这些验证工作的，它有三个参数：①可允许的下一个符号的集合S1；若当前符号不属于此集合，则当即得到一个错误。②另加的停止符号集S2，这些符号的出现虽然是错的，但是它们绝对不应被忽略而跳过。③整数N，表示有关错误的代码。voidTEST(SYMSETS1,SYMSETS2,intN){if(!SymIn(S1)){ERROR(N);while(!Sy

3、mIn(S1+S2))GetSym();}}(3)TEST也可以用作分析函数的入口，以验证当前符号是否为允许的头符号。在下述情况下，这一方法值得推荐。比如规则A::=a1S1

4、…

5、anSn

6、X的翻译结果是if(SYM==a1)S1();else…if(SYM==an)Sn();elseX();此时，分析函数X是无条件被调用的。此时，参数S1必须为X的头符号集合，而S2则选为A的后继符号集合FOLLOW(A)。以因子(FACTOR)的语法分析函数为例，在函数FACTOR的入口处调用了一次TEST函数，它的实参S1是因子开始符号的集合（FACBEG

7、SYS），S2是每个函数的形参FSYS调用时实参的传递值。当编译程序第一次调用BLOCK时，FSYS的实参为：[.]与说明开始符和语句开始符的和集。以后随着调用语法分析函数层次的深入，FSYS的传递值逐步增加。例如，调用STATEMENT时增加了[;]和[ENDSYM]；在表达式语法分析中调用TERM时又增加了[+]和[-]，进而调用FACTOR时又增加了[*]和[/]；这样在进入因子分析函数时，即使当前符号不是因子开始符，出错后只要跳过一定的符号，遇到在FSYS中或在因子开始符号集合中的单词符号，均可继续正常进行语法分析。在FACTOR函数的

8、出口处也调用了TEST，不过这时的S1和S2的实参恰恰相反，说明当时FSYS集合的单词符号都是因子正常出口时允许的单词符号，而因子的开始符号为可恢复正常语法分析的补充单词符号。以上处理方案具有这样的性质：试图通过略过输入正文的一个或多个符号来恢复分析的正常步骤。在错误仅为漏掉一个符号所引起的所有情况下，它都不是适宜的策略。经验表明，这类错误基本上限于那种仅有语法作用而不代表行动的符号。PL0中的分号即为一例。把一些关键字添加到后继符号集合中去，使得分析程序不再盲目地跳过后面的符号，好象漏掉的符号已经补上了一样。从以下分析复合语句的程序段，可以看

9、出上述思想。它在效果上等于在关键字前面插入了漏掉的分号。STATBEGSYS是‘语句’的头符号集合（FIRST集）。if(sym==BEGINSYM){GetSym();STATEMENT([SEMICOLON,ENDSYM]+FSYS);while(SYMIN[SEMICOLON]+STATBEGSYS){if(SYM==SEMICOLON)GetSym();elseERROR(10);STATEMENT([SEMICOLON,ENDSYM]+FSYS);}if(SYM==ENDSYM)GetSym();elseERROR(17);}