计算理论试题及答案.docVIP

《计算理论》 试题答案（2007级） 证明：设M是一台识别语言B的DFA，交换M的接受状态与非接受状态得到一台新的DFA，则这台新DFA识别B的补集。因而，正则语言类在补运算下封闭。(8分) 参考答案： 设M’是一台将DFA　M　的接受态与非接受态交换后的DFA，接下来证明M识别B语言，则M’识别B的补集： 　　假定M’识别x　，则对于x 在M’上运行将结束于M’的一个接受态，因为M和M’交换了接受态与非接受态，因此对于x运行于M，将会结束于一个非接受态，所以x∈/　B。类似地，如果x不被M’接受，则它一定被M接受。故M’恰好接受所有不被M接受的那些串，因此M’识别B的补集。 既然B是任意的正则语言，且我们已构造出一台自动机识别它的补集，它表明任何正则语言的补也是正则的。因此，正则语言类在补运算下封闭。 令∑＝｛0，1，＋，＝｝和ADD＝｛x=y+z | x，y，z是二制整数，且x是y与z的和｝，证明ADD不是正则的。(8分) 参考答案： 假定ADD是正则的。让P作为泵引理中的泵长度，选择S的串形式为1P＝0P＋1P作为ADD的一个成员。因为S有长度大于P，由泵引理保证它能分割成形如：S＝xyz的三部分，满足泵引理的条件。泵引理的第三个条件有｜xy｜≤P，《它表明对于K≥1，y就是1K。这是xy2z是串1P＋K＝OP＋1P，而它不是ADD的成员，由泵引理导出矛盾，因此ADD不是正则的。 请将下述CFG转换成等价的乔姆斯基范式文法。(8分) A→BAB｜B｜ε B→00｜ε 参考答案： S0→AB｜CC｜BA｜BD｜BB｜ε A→AB｜CC｜BA｜BD｜BB B→CC C→0 D→AB 请用泵引理证明语言A＝｛ 0n＃02n＃03n | n≥0 ｝不是上下文无关的。(8分) 参考答案： 由泵引理，让P作为泵长度，s=0p＃02p＃03p ，接下来证明s=uvxyz不能进行泵抽取。 v和y都不能包含＃，否则，xv2wy2z将超过2个＃s ，因此，如果我们按＃’s将s分成三段如：0p，02p，03p，至少有一段不包含v或y。因此，由于段之间的1：2：3的比例不再维持，xv2wy2z也不语言A中。故语言A＝｛ 0n＃02n＃03n | n≥0 ｝不是上下文无关。的 下面的语言都是字母表｛0,1｝上的语言，请以实现描述水平级给出判定这些语言的图灵机：(8分) 1、A＝｛w｜w包含相同个数的0和1｝。 2、B＝｛w｜w所包含的0的个数是1的个数的二倍｝。 参考答案： 1、对于输入串w 1)、扫描带子且标记第一个没有被标记的0，如果没有未被标记的0，则跳到第4步，否则，将指针移到带子的最前端。 2)、扫描带子且标记第一个没有被标记的1，如果没有未被标记的1，则拒绝。 3)、将指针移到带子的最前端且重复第1步 4)、将指针移到带子的最前端，扫描带子看是否还有未被标记的1，如果没有则接受，否则拒绝。 2、略 只写一次图灵机是一个单带图灵机，它在每个带方格上最多只能改变其内容一次（包括带上的输入区）。证明图灵机模型的这个变形等价于普通的图灵机模型。(8分) 参考答案： 我们首先模拟一个可以写两次的普通图灵机，这个写两次的图灵机相当于一个单带图灵机通过将整带内容考贝到带子已用部分的右边来实现。考贝过程通过一个一个字符地操作，标记已考贝的字符。这个过程改变带子两次，一次是写字符，另一次是标记它被考贝。标记在带子上，当在标记位置考贝时，带子的内容按照图灵机更新。 为了便于写一次图灵机模拟，除每个格子用两个格子代替外，其它操作如前面一致。第一个用来写原始内容，第二个用来写标记内容。这样就可以模拟写两次图灵机，依此类推，可以模拟写N次图灵机。因此图灵机模型的这个变形等价于普通的图灵机模型。 设A＝｛＜M＞｜M是DFA，它不接受任何包含奇数个1的串｝，证明A是可判定的。(8分) 参考答案： 如下的TM X 判定A X=“ 对于输入M，M是DFA 构造一个DFA O ，接受任何包含奇数个1的串 构造DFA B 使 依据定理4.4，对于输入＜B＞运行TM T， T判定EDFA 如果T接受，则接受。否则T拒绝，则拒绝。 设C是一个语言。证明C是图灵可识别的，当且仅当存在一个可判定语言D，使得C＝｛x｜y （＜x，y＞∈D）｝。(8分) 参考答案： 要求从两个方向证明。首先，我们假定D是存在的，TM识别C对于输入x ，查找y 使得x,y∈D。如果y 找到则接受，否则继续找。 另一方向，假定C被图灵机M 识别。定义一语言B为 {x,y|x在|y|内接受X}。语言B是可判定的，且如果x∈c，则M在有限步内接受x，因此对于足够长的y 有x,y∈B，但如果x∈/　c 则对于任意y有x,y∈/　c 因此C是图灵可识别的，当且仅当存在一个可判定语言D，使得C＝｛x｜y