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