可计算性与计算复杂性(计算原理答案).doc

1.6 画出识别下述语言的DFA的状态图。 a){w | w从1开始以0结束} b){w | w至少有3个1} c) {w | w含有子串0101} d) {w | w的长度不小于3，且第三个符号为0} e) {w | w从0开始且为奇长度，或从1开始且为偶长度} 或 f) {w | w不含子串110} g) {w | w的长度不超过5} h){w | w是除11和111以外的任何字符} i){w | w的奇位置均为1} j) {w | w至少含有2个0，且至多含有1个1} k) {ε,0} l) {w | w含有偶数个0，或恰好两个1} m) 空集 n) 除空串外的所有字符串 1.29利用泵引理证明下述语言不是正则的。 a. A1={0n1n2n | n(0}。 证明：假设A1是正则的。设p是泵引理给出的关于A1的泵长度。 令S=0p1p2p, ∵S是A1的一个成员且S的长度大于p，所以泵引理保证S可被分成3段S=xyz且满足泵引理的3个条件。根据条件3，y中只含0，xyyz中，0比1、2多，xyyz不是A1的成员。违反泵引理的条件1，矛盾。 ∴A1不是正则的。 b. A2={www | w({a,b}*}. 证明：假设A2是正则的。设p是泵引理给出的关于A2的泵长度。 令S=apbapbapb, ∵S是A2的一个成员且S的长度大于p，所以泵引理保证S可被分成3段S=xyz且满足泵引理的3个条件。根据条件3，y中只含a，所以xyyz中第一个a的个数将比后两个a的个数多，故xyyz不是A2的成员。违反泵引理的条件1，矛盾。 ∴A2不是正则的。 c. A3={a2n | n(0}.(在这里，a2n表示一串2n个a .) 证明：假设A3是正则的。设p是泵引理给出的关于A3的泵长度。 令S= a2p，∵S是A2的一个成员且S的长度大于p，所以泵引理保证S可被分成3段S=xyz且满足泵引理的3个条件。即对任意的i(0，xyiz都应在A3中，且xyiz与xyi+1z的长度都应是2的幂. 而且xyi+1z的长度应是xyiz的长度的2n倍(n(1)。于是可以选择足够大的i，使得|xyiz|=2np. 但是|xyi+1z|-|xyiz|=|y|(p. 即|xyi+1z|2n+1, 矛盾。 ∴A3不是正则的。 1.46 证明： 假设{0n1m0n|m,n≥0}是正则的，p是由泵引理给出的泵长度。取s＝0p1q0p，q0。由泵引理条件3知，|xy|≤p，故y一定由0组成，从而字符串xyyz中1前后0的数目不同，即xyyz不属于该语言，这与泵引理矛盾。所以该语言不是正则的。 b) 假设{0n1n|n≥0}的补集是正则的，则根据正则语言在补运算下封闭可得{0n1n|n≥0}是正则的，这与已知矛盾，故假设不成立。所以该语言不是正则的。 c) 记c={0m1n|m≠n}，┐c为c的补集，┐c∩0*1*={0n1n|n≥0}，已知{0n1n|n≥0}不是正则的。若 ┐c是正则的，由于0*1*是正则的，那么┐c∩0*1*也应为正则的。这与已知矛盾，所以 ┐c不是正则的。由正则语言在补运算下的封闭性可知c也不是正则的。 d) {w | w({0,1}*不是一个回文}的补集是{w | w({0,1}*是一个回文}，设其是正则的，令p是由泵引理给出的泵长度。取字符串s=0p1q0p，显然s是一个回文且长度大于p。由泵引理条件3知|xy|≤p，故y只能由0组成。而xyyz不再是一个回文，这与泵引理矛盾。所以{w | w({0,1}*是一个回文}不是正则的。由正则语言在补运算下的封闭性可知{w | w({0,1}*不是一个回文}也不是正则的。 2.4和2.5 给出产生下述语言的上下文无关文法和PDA，其中字母表(={0,1}。 {w | w至少含有3个1} S→A1A1A1A A→0A|1A|( {w | w以相同的符号开始和结束} S→0A0|1A1 A→0A|1A|( {w | w的长度为奇数} S→0A|1A A→0B|1B|( B→0A|1A {w | w的长度为奇数且正中间的符号为0} S→0S0|1S1|0S1|1S0|0 {w | w中1比0多} S→A1A A→0A1|1A0|1A|AA|( {w | w=wR} S→0S0|1S1|1|0 空集 S→S 2.15 用定理2.6中给出的过程，把下述CFG转换成等价的乔姆斯基范式文法。 A(BAB|B|( B(00|( 解：添加新起始变元S0, 去掉B(( S0(