| 词条 | 计算理论导引 |
| 释义 | 出版信息出版社:机械工业出版社; 第1版 (2000年1月1日)外文书名:Introduction to the Theouy of Computation 丛书名:计算机科学丛书 平装:273页 正文语种:简体中文 开本:16 ISBN:7111075749 条形码:9787111075745 商品尺寸: 26 x 18.5 x 1.2 cm 品牌:机械工业 ASIN:B00116CA64 内容简介本书系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。作者以清闲的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。 媒体推荐书评 本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触，生动的语言给出了宽泛的数学原理，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴含的概念。同样，对于算法描述，均以直观的文字，而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。 本书的内容包括三个部分：自动机与语言、可计算性理论和计算复杂性理论。 目录译者序 前言 第1章 导引 1.1 自动机、可计算性与复杂性 1.1.1 计算复杂性理论 1.1.2 可计算性理论 1.1.3 自动机理论 1.2 数学概念和术语 1.2.1 集合 1.2.2 序列和多元组 1.2.3 函数和关系 1.2.4 图 1.2.5 字符串和语言 1.2.6 布尔逻辑. 1.2.7 数学名词汇总 1.3 定义、定理和证明 1.4 证明的类型 1.4.1 构造性证明 1.4.2 反证法 1.4.3 归纳法 练习 问题 第一部分 自动机与语言 第2章 正则语言 2.1 有穷自动机 2.1.1 有穷自动机的形式定义 2.1.2 有穷自动机举例 2.1.3 计算的形式定义 2.1.4 设计有穷自动机 2.1.5 正则运算 2.2 非确定性 2.2.1 非确定型有穷自动机的形式定义 2.2.2NFA与DFA的等价性 2.2.3 在正则运算下的封闭性 2.3 正则表达式 ………… |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。