第06讲-词法分析-V-习题.ppt

中国科大 本讲纲要 第二章 习题 将下图的DFA极小化。 用状态转换图表示接收(a|b)*aa 的DFA* 最简单的句子是aa 用状态转换图表示接收(a|b)*aa 的DFA 因为在第一个a前可以有若干个b，因此状态0有到自身的b转换。在最后两个字符都是a的串的末尾添加若干个a，能够保持串的这个性质 。 识别注释的DFA 第二章 习题 1.书p36 2.3解： 首尾均为0的二进制串 0，1组成的二进制串，包括空串 倒数第3位为0的二进制串 包含且仅包含3个1的二进制串 1的个数和0的个数均为偶数的二进制串 巩固与提高 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构成的串。 由偶数个0和奇数个1构成的所有0和1的串 在上一题的基础上给出： even_0_even_1? ( 00 | 11 | (01|10) (00|11)* (01|10) )* 由偶数个0和奇数个1构成的所有0和1的串 对于偶数个0和奇数个1构成的串，其第一个字符可能是0或1。 如果是1，那么剩下的部分一定是偶数个0和偶数个1（即1 even_0_even_1）。 如果是0，那么经过若干个偶数个0或偶数个1，一定会出现一个01或10，才能保证0的个数是偶数，1的个数是奇数。若串还没有结束，剩余部分一定是偶数个0和偶数个1。 由偶数个0和奇数个1构成的所有0和1的串 答案 even_0_even_1? (00 | 11 | (01|10) (00|11)* (01|10) )* even_0_odd_1? 1 even_0_even_1 | 0 even_0_even_1 (01|10) even_0_even_1 3、写出语言“所有相邻数字都不相同的非空数字串”的正规定义。 答案： 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