编译原理课程第7讲.pptVIP

温故知新 3.3 自上而下分析 3.3.6 预测分析的错误恢复 编译器的错误概述 : 词法错误，如标识符、关键字或算符的拼写错误 语法错误，如算术表达式的括号不配对 语义错误，如算符作用于不相容的运算对象 逻辑错误，如无穷的递归调用 3.3 自上而下分析 分析器对错误处理的基本目标 清楚而准确地报告错误的出现 迅速地从每个错误中恢复过来，以便诊断后面的错误，并尽量少出现伪错误 它不应该使正确程序的处理速度降低太多 3.3 自上而下分析 非递归预测分析在什么场合下发现错误 栈顶的终结符和下一个输入符号不匹配 栈顶是非终结符A，输入符号是a，而M[A , a]是空白 3.3 自上而下分析 非递归预测分析：采用紧急方式的错误恢复 发现错误时，分析器每次抛弃一个输入记号，直到输入记号属于某个指定的同步记号集合为止。 同步 词法分析器当前提供的记号流能构成的语法结构，正是语法分析器所期望的。 3.3 自上而下分析 同步记号集合的选择 把FOLLOW(A)的所有终结符放入非终结符A的同步记号集合。 if expr then （then是expr的一个同步记号） 3.3 自上而下分析 同步记号集合的选择 把FOLLOW(A)的所有终结符放入非终结符A的同步记号集合。 把高层结构的开始符号加到低层结构的同步记号集合中。 a := expr ; if … （语句的开始符号作为表达式的同步符号，以免遗漏分号时忽略一大段程序。） 3.3 自上而下分析 同步记号集合的选择 把FOLLOW(A)的所有终结符放入非终结符A的同步记号集合。 把高层结构的开始符号加到低层结构的同步记号集合中。 把FIRST(A)的终结符加入A的同步记号集合。 3.3 自上而下分析 同步记号集合的选择 把FOLLOW(A)的所有终结符放入非终结符A的同步记号集合。 把高层结构的开始符号加到低层结构的同步记号集合中。 把FIRST(A)的终结符加入A的同步记号集合。 如果非终结符可以产生空串，若出错时栈顶是这样的非终结符，则可以使用产生空串的产生式。 3.3 自上而下分析 同步记号集合的选择 把FOLLOW(A)的所有终结符放入非终结符A的同步记号集合。 把高层结构的开始符号加到低层结构的同步记号集合中。 把FIRST(A)的终结符加入A的同步记号集合。 如果非终结符可以产生空串，若出错时栈顶是这样的非终结符，则可以使用产生空串的产生式。 如果终结符在栈顶而不能匹配，弹出此终结符。 巩固与提高 1、DFA，接受 0和1的个数都是偶数的字符串 2、叙述正规式(00 | 11)? ( (01 | 10) (00 | 11) ? (01 | 10) (00 | 11) ? ) ?描述的语言。 答案： 所有由偶数个0和偶数个1构成的串。 分析：该正规式的一个重要特点是，它是两个字符一组来考虑的。正规式(00 | 11)?表示的串的长度是偶数，每两个字符一组的话，不是00就是11。再看正规式(01 | 10) (00 | 11) ? (01 | 10)，它表示的串由01或10开始，中间有若干组00或11，最后出现01或10。这样的串仍然由偶数个0和偶数个1构成，只不过第一组是01或10的话，那么一定还要有一组01或10才能保证它们的偶数性。显然，正规式(01 | 10) (00 | 11) ? (01 | 10) (00 | 11) ?表示的串也仍然是由偶数个0和偶数个1构成。这样，可以判断题目所给的正规式表示的语言的每个句子都是由偶数个0和偶数个1构成。 反过来还需要考虑，任何由偶数个0和偶数个1构成的串是否都在这个语言中。这实际上是问，每个这样的串，其结构是否都符合正规式(00 | 11)? ( (01 | 10) (00 | 11) ? (01 | 10) (00 | 11) ? ) ?所做的刻划。我们可以这样叙述由偶数个0和偶数个1构成的串，从左向右，每两个字符一组地考察，它 1，由若干个（强调一下，可以是零个）00或11开始（这由正规式(00 | 11)?描述）； 2．一旦出现一个01或10，那么经过若干个00或11后，一定会出现一个01或10。这第二个01或10的后面可能还有若干个00或11，一直到串的结束，或者到再次出现01或10为止。如果串没有结束的话，就是重复出现这里所描述的结构（所以这由( (01 | 10) (00 | 11)? (01 | 10) (00 | 11) ? ) ?描述）。 因此正规式(00 | 11)? ( (01 | 10) (00 | 11) ? (01 | 10) (00 | 11) ? ) ?描述的是偶数个0和偶数个1构成的串。 3