计算理论引论 课后答案

计算理论引论 英文版课后答案 、导引 掌握自动机、可计算性与复杂性的基本概念复习了解集合、序列、元组、函数等概念。能掌握常用的定理证明方法并利用解决实际问题，了解悖论产生的原因。 2、自动机与语言 （1）正则语言。了解掌握有穷自动机的形式定义和图形定义。能够设计简单的有穷自动机，熟悉几种经典正则运算系统。 了解非确定性和非确定性有穷自动机，能够理解NFA与DFA的等价性以及正则运算的封闭性。 正则表达式的形式定义及与有穷自动机的等价性。 了解并掌握非正则语言及其泵引理并能应用它证明语言的非正则性。 （2）上下文无关语言。 上下文无关文法的形式定义、举例及设计简单的上下文无关文法，上下文无关文法的歧义性、产生原因。 掌握乔氏范式的定义、意义及能够将普通范式转换成乔氏范式。 下推自动机的形式定义、举例及与上下文无关文法的等价性。 非上下文无关语言的泵引理及简单应用。 3、可计算性理论 （1）图灵机的形式定义、例子。多带图灵机的定义、非确定性图灵机，算法的形式定义、HIBERLT 问题以及图灵机的基本术语。。 （2）可判定性： 可判定语言，与正则语言相关的可判定性，与上下文无关语言的可判定性。 （3）停机问题： 对角化方法，停机问题的不可判定性，图灵不可识别语言。 （4）可规约性：理解掌握映射可规约性，可计算函数的基本内涵，以及映射可规约性的形式定义。 4、复杂性理论 （1）掌握时间复杂性和空间复杂性的计算方法和表示方法。 （2）掌握分析复杂性的基本方法。 （3）掌握P问题和NP问题的内涵与外延，意义。 （4）能够判断P问题和NP问题并设计相应的算法。 （5）能够掌握几个经典NP完全问题的来源和性质。