3-计算理论总结.docxVIP

正则语言 2.1 图给出两台DFA M1和M2的状态图. 回答下述有关问题. M1的起始状态是q1 M1的接受状态集是{q2} M2的起始状态是q1 M2的接受状态集是｛q1，q4｝ 对输入aabb,M1经过的状态序列是q1，q2，q3，q1，q1 M1接受字符串aabb吗？否，因为无法到达终态q2 M2接受字符串ε吗？是 2.6 画出识别下述语言的DFA的状态图。 DFA和NFA的区别：DFA对于每个输入的字符，都能确定的指定到一个确定的状态；而NFA的每个字符，指定的不一定是同一个状态，可能同时指向不同状态。 1 a){w | w从1开始以0结束} 1 0 1 0 0 0,1 0 1 0 0 1 1 0,1 b){w | w至少有3个1} 重点 0,1 1 0 0 1 1 0 1 0 c) {w | w含有子串0101} 0,1 0,1, 0,1 1 0 d) {w | w的长度不小于3，且第三个符号为0} 0,1, 0,1 0,1 0,1 0 0,1 1 e) {w | w从0开始且为奇长度，或从1开始且为偶长度} 0,1 0 0,1 1 或 0,1 0 1 0 1 1 0 f) {w | w不含子串110} 最后一个接受状态若是输入0，则无法返回到接受状态，因此不会有110 0,1 0,1 0,1 0,1 0,1 0,1 0,1 g) {w | w的长度不超过5} 最后一个接受状态若是输入0，1 则无法返回到接受状态 1 1 1 0,1 0 0 0 h){w | w是除11和111以外的任何字符} 注：11和111是指接受状态后的结果。 1 0 0,1 0,1 i){w | w的奇位置均为1} 注：起始接受状态中，输入0后，则无法回到接受状态，因此不会有影响 j) {w | w至少含有2个0，且至多含有1个1} 0 0 1 0 0 1 1 1 1 1 0 0 0,1 k) {ε,0} 0 0,1 0,1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 l) {w | w含有偶数个0，或恰好两个1} 0,1 0,1 m) 空集 n) 除空串外的所有字符串 0,1 泵引理： 上下文无关（CFL） PDA：下推自动机 3.1 语法分析树和派生的使用(语法分析树自己写) 3.2 a. 利用语言A={ambncn | m,n?0}和B={anbncm | m,n?0}以及例3.20，证明 上下文无关语言在交的运算下不封闭。 证明：a.先说明A,B均为上下文无关文法，对A构造CFG C1 S?aS|T|? T?bTc|? 对B,构造CFG C2 S?Sc|R|? R?aRb 由此知 A,B均为上下文无关语言。 但是由例3.20, A∩B={anbncn|n?0}不是上下文无关语言，所以上下文无关语言在交的运算下不封闭。 3.3 设上下文无关文法G： R→XRX|S S→aTb|bTa T→XTX|X|ε X→a|b 回答下述问题： G的变元和终结符是什么？起始变元是哪个？ 答：变元是：R，X，S，T；起始变元是R。终结符是：a，b，ε 给出L(G)中的三个字符串。答：ab，ba，aab。 给出不在L(G)中的三个字符串。答：a，b，ε。 是真是假：。答：假 是真是假：。答：真 是真是假：。答：假 是真是假：。答：假 是真是假：。答：真 是真是假：。答：假 是真是假：。答：真 是真是假：。答：真 是真是假：。答：假 ε表示“空” 0,ε-0当读取到输入的字符为0时，将0压入栈（此时0为栈顶） 0,ε-ε和1,ε-ε意思是再次读到0或1都不压入栈，不写入 0,0 -ε弹出栈顶0，栈顶指向下一个栈元素。 图灵 构造具有3条带的图灵机。 对于问题a. w 先读入第一条带，然后读到0就把0写入第2条带，读到1就把1写入第3条带，直到读到空格为止。 然后把3个读写头都返回到最左边。 开始读第2条带和第3条带，每次都是读一个字符，如果同时遇上空格符，则接收，否则拒绝。 对于问题b: 和a的第1步相同。 和a的第2步相同。 每次读带3的一个字符就读带2的两个字符，如果同时遇上空格符，就接收，否则拒绝。 对于问题c: 和a的第1步相同。 和a的第2步相同。 每次读带3的一个字符就读带2的两个字符，如果同时遇上空格符，就拒绝，否则接受。 构造具有3条带的图灵机。 能被图灵机识别则可数，不能被图灵机识别不可数 5.7设B是{0，1}上所有无限序列的集合，用对角化方法证明B是不可数的。 证明：为证明B是不可数的，必须证明在B和N之间不存在对应。下面用反证法证之。假设在B和N之间存在对应f，现在的任务是证明它没有应有的性质。因为它是一个对应，必须能将N的所有元