东华大学-计算理论期末考试卷.docxVIP

— PAGE \* Arabic 1 — 东华大学-计算理论期末考试卷 东华大学  2017~2018学年第一学期研究生期末考试试题考试学院：计算机  考试专业：计算机科学与技术  考试课程名称：计算理论导引与算法复杂性  一、单项选择题（每空2分，本题共20分）  1.关于集合S中的元素x，（）的说法是正确的。  A、x?S  B、x可能是一个集合  C、x在S中的顺序不能改变  D、（x,x）?S?S  2.关于函数f，（）的说法是正确的。  A、f的值域一定是可数的  B、f的定义域和值域的交集一定是空集  C、f的值域不可能为{TRUE,FALSE}  D、f的定义域可以是元组的集合  3.关于正则语言R，（）的说法是正确的。  A、R是上下文无关的  B、R是不能用正则表达式来描述的  C、R是可以违反泵引理的  D、R是图灵可识别但不可判定的  4.关于乔姆斯基范式，（）的说法是错误的。  A、规则的右部可以是变量与终结符构成的串  B、左部是起始变量的规则，其右部可以是ε  C、任意一个上下文无关文法都可以转化为乔姆斯基范式形式  D、终结符一定单独出现在规则的右部  5.关于下推自动机PDA，（）的说法是正确的。  A、PDA可以识别上下文无关语言  B、PDA是DFA的一种特例  C、PDA识别的语言NFA也能识别  D、PDA的存储容量与GNFA相同  6.关于图灵机M，（）的说法是正确的。  A、M一定是可停机的  B、M识别的语言一定是可判定的  C、M可以不识别任何语言  D、M的存储容量比PDA大  7.关于图灵不可识别语言L，（）的说法是错误的。  A、没有图灵机可识别L  B、没有PDA可识别L  C、L不能用正则表达式来描述  D、目前L是否存在还是个未解之谜  8.关于图灵不可判定语言L，（）的说法是错误的。  A、如果L是图灵可识别，那么，L一定是图灵不可识别的  B、L一定是图灵可识别的  C、如果L是图灵不可识别的，那么，L有可能是图灵可识别的  D、如果L是图灵不可识别的，那么，L有可能是图灵不可识别的  9.关于属于NP类的语言L，（）的说法是正确的。  A、L有可能属于P类  B、L不能多项式时间规约到某个NP-complete语言  C、如果NP类中所有语言都能多项式时间规约到L，那么，L是NP-hard  D、L不可能是NP-complete  10．关于PSPACE-hard语言L，（）的说法是正确的。  A、L一定不属于PSPACE类  B、L一定是多项式时间可判定的  C、L一定是PSPACE-complete  D、L一定属于P类  二、综合应用题(10分+10分+10分+10分+10分,本题共50分) 1．写出下图的形式化定义。   2．把下图所示的NFA转化为等价的DFA。   3.设计识别语言  A={a i b j c k|i,j,k≥0且i=j或j=k}的PDA。  4．把下述CFG转换成等价的乔姆斯基范式文法。  A→CAC|C|ε  C→00|ε  5．给定一个3cnf公式?=(x1∨x1∨x2)∧(x1∨x2∨x2)∧(x1∨x2∨x2)，请根据3SAT到VERTEX-COVER的规约求出图G(V,E)。  三、完成下述操作（30分）  1.证明正则语言类在并运算下是封闭的。  2.证明语言A TM={|M is a TM and M accepts w}是图灵可识别的。  3.证明语言  HAMPATH={|G is a directed graph with a Hamiltonian path from s to t}属于NP类。  2017—2018学年第一学期研究生期末试题踏实学习，弘扬正气；诚信做人，诚实考试；作弊可耻，后果自负  考试科目计算理论导引与算法复杂性考试专业计算机科学与技术班级姓名学号  一二三四五六七八九十总分试题  得分