Can I read 可计算性、计算复杂性与算法设计思路 on EtoBox?

可计算性、计算复杂性与算法设计思路 by 吴哲辉编著 is a book available to read on EtoBox.

What is 可计算性、计算复杂性与算法设计思路 about?

封面 1 书名 3 版权 4 前言 5 目录 6 第1章 引论 8 1.1 数论函数与数论谓词 8 1.2 字符串、语言和文法 9 1.2.1 字母表与字符串 10 1.2.2 语言 11 1.2.3 文法 13 1.3 字符串的数值化 15 1.3.1 哥德尔配数法 15 1.3.2 多项式求值配数法 16 1.3.3 字符串处理规约为数论函数计算 17 1.3.4 Cantor编号 18 1.4 可计算性的提出与计算模型产生的历史背景 19 第2章 递归函数和λ-演算 23 2.1 原始递归函数 23 2.2 μ递归函数和一般递归函数 27 2.3 递归谓词与三值逻辑 31 2.4 递归可枚举集与递归集 33 2.5 λ-演算 36 2.5.1 λ-表达式 36 2.5.2 λ-演算形式系统 36 z.5.3 λ-可定义函数 39 第3章 图灵机 40 3.1 图灵机的基本概念 40 3.2 图灵机用于计算整函数 43 3.3 图灵机的构造技巧 45 3.3.1 控制器中存储信息 45 3.3.2 移位 46 3.3.3 读写带分为多道轨线 48 3.3.4 子程序 48 3.4 变形图灵机 49 3.4.1 双向无限带图灵机 49 3.4.2 多带图灵机 51 3.4.3 不确定的图灵机 52 3.4.4 脱线图灵机 54 3.5 图灵机同递归函数和Chomsky文法的等价性 54 3.5.1 图灵机与递归函数的等价性 54 3.5.2 图灵机同Chomsky文法的等价性 56 3.6 图灵机作为语言产生器 59 3.7 多栈机与计数器 62 3.7.1 多栈机 62 3.7.2 计数器 63 3.8 图灵机带符号集的化简 65 第4章 可计算性理论 67 4.1 邱奇—图灵论题 68 4.2 图灵机编码与通用图灵机 70 4.2.1 图灵机编码 70 4.2.2 通用语言 71 4.2.3 通用图灵机 71 4.3 递归语言的性质和非递归可枚举语言的存在性 72 4.3.1 递归语言的封闭性质 72 4.3.2 非递归可枚举语言的存在性 73 4.3.3 Ld——非递归可枚举语言的一个实例 74 4.4 图灵机停机问题和递归可枚举语言其他一些问题的不可判定性 76 4.4.1 递归可枚举语言成员问题的不可判定性 76 4.4.2 图灵机停机问题的不可判定性 77 4.4.3 一个递归可枚举语言是否为空集问题的不可判定性 77 4.5 Post对应问题及其不可判定性 78 4.5.1 Post对应问题 78 4.5.2 修改的Post对应问题 79 4.5.3 PCP的不可判定性 80 4.6 上下文无关文法(语言)歧义性问题的不可

Author

吴哲辉编著

Publisher

东营:石油大学出版社

Published

2009

Language

ZH

ISBN

9787563629107