开发工具:
文件大小: 2mb
下载次数: 0
上传时间: 2013-06-21
详细说明： 计算理论引论 英文版课后答案 、导引 掌握自动机、可计算性与复杂性的基本概念复习了解集合、序列、元组、函数等概念。能掌握常用的定理证明方法并利用解决实际问题，了解悖论产生的原因。 2、自动机与语言 （1）正则语言。了解掌握有穷自动机的形式定义和图形定义。能够设计简单的有穷自动机，熟悉几种经典正则运算系统。 了解非确定性和非确定性有穷自动机，能够理解NFA与DFA的等价性以及正则运算的封闭性。 正则表达式的形式定义及与有穷自动机的等价性。 了解并掌握非正则语言及其泵引理并能应用它证明语言的非正则性。 （2）上下文无关语言。 上下文无关文法的形式定义、举例及设计简单的上下文无关文法，上下文无关文法的歧义性、产生原因。 掌握乔氏范式的定义、意义及能够将普通范式转换成乔氏范式。 下推自动机的形式定义、举例及与上下文无关文法的等价性。 非上下文无关语言的泵引理及简单应用。 3、可计算性理论 （1）图灵机的形式定义、例子。多带图灵机的定义、非确定性图灵机，算法的形式定义、HIBERLT 问题以及图灵机的基本术语。。 （2）可判定 性： 可判定语言，与正则语言相关的可判定性，与上下文无关语言的可判定性。 （3）停机问题： 对角化方法，停机问题的不可判定性，图灵不可识别语言。 （4）可规约性：理解掌握映射可规约性，可计算函数的基本内涵，以及映射可规约性的形式定义。 4、复杂性理论 （1）掌握时间复杂性和空间复杂性的计算方法和表示方法。 （2）掌握分析复杂性的基本方法。 （3）掌握P问题和NP问题的内涵与外延，意义。 （4）能够判断P问题和NP问题并设计相应的算法。 （5）能够掌握几个经典NP完全问题的来源和性质。 ...展开收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
