第9讲-语法分析-IV.pptVIP

中国科大 编译原理和技术 大连理工软件学院 胡 彦 huyan.ssdut@ 本讲纲要 回顾 重点：FIRST集、FOLLOW集 自上而下分析实现 递归函数法 非递归的预测分析方法 FOLLOW集计算 文法 FOLLOW集计算 文法 FOLLOW集计算 文法 FOLLOW集计算 文法 FOLLOW集计算 文法 本讲纲要 回顾 重点：FIRST集、FOLLOW集 自上而下分析实现 递归函数法 非递归的预测分析方法 递归的分析程序 本讲纲要 回顾 重点：FIRST集、FOLLOW集 自上而下分析实现 递归函数法 非递归的预测分析方法 3.3 自上而下分析 3.3.4 非递归的预测分析 3.3 自上而下分析 3.3 自上而下分析 编程作业3 实现表达式文法的递归分析程序、非递归的预测程序 词法分析部分复习 正规式 = 语言描述 语言描述 = 正规式 DFA化简 1、叙述正规式(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构成的串。 思考题 奇数个0和奇数个1的串用正规式怎么表示？ 奇数个0和偶数个1的串呢？ 偶数个0和奇数个1构成的串有是怎么用正规式表示呢？ 2、写出语言“所有相邻数字都不相同的非空数字串”的正规定义。 答案： no_0-8 ? 9 no_0-7 ? (8 | no_0-8 8 ) (no_0-8 8 )? (no_0-8 | ? ) | no_0-8 no_0-6 ? (7 | no_0-7 7 ) (no_0-7 7 )? (no_0-7 | ? ) | no_0-7 no_0-5 ? (6 | no_0-6 6 ) (no_0-6 6 )? (no_0-6 | ? ) | no_0-6 no_0-4 ? (5 | no_0-5 5 ) (no_0-5 5 )? (no_0-5 | ? ) | no_0-5 no_0-3 ? (4 | no_0-4 4 ) (no_0-4 4 )? (no_0-4 | ? ) | no_0-4 no_0-2 ? (3 | no_0-3 3 ) (no_0-3 3 )? (no_0-3 | ? ) | no_0-3 no_0-1 ? (2 | no_0-2 2 ) (no_0-2 2 )? (no_0-2 | ? ) | no_0-2 no_0 ? (1 | no_0-1 1 ) (no_0-1 1 )? (no_0-1 | ? ) | no_0-1 answer ? (0 | no_0 0 ) (no_0 0 )? (no_0 | ? ) | no_0 3、将下图的DFA极小化。 最初的划分是{0, 1, 2, 3}和{4}。 1．状态集合的进一步划分是： {1, 2}，{0, 3}和{4}