5、可判定性练习.doc

第5章、可判定性习题解答 练习 5.1 对于下图所示的DFA M，回答下列问题，并说明理由。 M，0100∈ADFA？ 是，M接受0100。 M，011∈ADFA？ 否，M不接受011。 M∈ADFA？ 否，不是ADFA的有效输入编码。 M，0100∈AREX？ 是，DFA和正则表达式等价。 M∈EDFA？ 否，M接受串0100。 M，M∈EQDFA？ 是，L(M) = L(M) 5.2 考虑DFA和正则表达式是否等价的问题。将这个问题表示为一个语言并证明它可判定。 解：设EQD-R={A，B|A是DFA，B是正则表达式，L(A)=L(B)}。 构造如下TM F， F=“对于输入A，B , A是DFA，B是正则表达式， 将正则表达式B转化为等价的DFA C。 判定A，C∈EQDFA（EQDFA可判定）。 若接受，则接受；若拒绝，则拒绝。” F判定EQD-R。 5.3 设ALLDFA={A | A是一个识别(*的DFA}。证明ALLDFA可判定。 证明：设计一个判定ALLDFA的TM M即可。 M＝“对于输入A，其中A是一个DFA: 构造DFA B，使得L(B)= (*。 判定A，B∈EQDFA（EQDFA可判定）。 若接受，则接受；若拒绝，则拒绝。” 5.4 AεCFG={G | G是一个派生( 的CFG}。证明AεCFG可判定。 证明：设计一个判定AεCFG的TM M即可。 M=“输入G，G是一个CFG， 判定G，ε∈ACFG（ACFG可判定）。 若接受，则接受；若拒绝，则拒绝。” 5.5 设INFTEDFA={A|A是一个DFA，且LA)是一个无限语言}。证明INFTEDFA是可判定的。INFINITEDFA的TM M即可。 ???? M=“对于输入A，其中A是一个DFA：；否则。 N f(n) g(n) 1 6 10 2 7 9 3 6 8 4 7 7 5 6 6 f 不是一对一的。因为1≠3，但是f(1) = f(3) = 6。g是一对一的。 f 不是到上的。因为8∈Y，不存在a∈X，使得f(a) = 8。g是到上的。 f 不是对应的。g是对应的。 5.7 设B是{0，1}上所有无限序列的集合。用对角化方法证明B是不可数的。 证明：为证明B是不可数的，必须证明在B和N之间不存在对应。下面用反证法证之。假设在B和N之间存在对应f，现在的任务是证明它没有应有的性质。因为它是一个对应，必须能将N的所有元素与B的所有元素进行配对。如果能找到B中的一个x，它和N中的任何元素都不能配对，则找到了矛盾。 为此，实际构造出这样一个x。方法如下：在选择它的每一位数字时，都使得：x不同于某个无限序列，且此无限序列已与N中的一个元素配对。这样就能保证x不同于任何已配对的无限序列。 用一个例子来说明这个思路。假设对应f存在，且设f(1) = 010101…，f(2) = 101010…，f(3) =…等等。则f将1和010101…配对，将2和101010…配对，依此类推。 要保证对每个n都有x ≠ f(n)。为保证x ≠ f(1)，只要保证x的第一位数字不同于f(1) = 010101…的第一位数字，即不是数字0，令它为1。为保证x ≠ f(2)，只要保证x的第二位数字不同于f(2) = 101010…的第一位数字，即不是数字0，令它为1。以这种方法继续下去，就能够得到x的所有数字。不难知道，对任意n，x都不是f(n)，因为x与f(n)在第n位上不同。 5.8 设T = {（i，j，k）| i，j，k ∈N}。证明T是可数的。 证明：先列出T的所有元素；然后将此序列中的第一个元素与N中的1配对，将第二个元素与2配对，依此类推。 设i = j = k = 1，T的元素为1个 （1，1，1） 设i = j = k = 2，T的元素为8个 （1，1，1）、（1，1，2）、（1，2，1）、（1，2，2） （2，1，1）、（2，1，2）、（2，2，1）、（2，2，2） 设i = j = k = 3，T的元素为27个 ……。 按此顺序排列元素。第一种情况只包含一个元素（1，1，1），第二种情况包含8个元素，忽略重复的元素。所以此序列的前八个元素是（1，1，1）、（1，1，2）、（1，2，1）、（1，2，2）、（2，1，1）、（2，1，2）、（2，2，1）、（2，2，2）。以这种方法继续下去，就得到T的所有元素的一个序列。 5.9 回忆5.10定义中定义“集合有相同规模”的方法。证明“有相同规模”是一个等价关系。 证明：根据定义：称A和B有相同的规模，如果存在一对一且到上的函数f：A→B。既是一对一又是到上的函数称为对应。在对应中，A的每个元素映射到B的唯一一个元素，且B的每个元素都有A的唯一一个元素映射到它。 设“有