SunnyBoy2000的专栏

绝版书了，不过我手头有本纸版的^_^。 放在这里做个备份吧，搞语音识别而不再“参考文献”写这本书的人不多。 ----- 【原 书 名】 Fundamentals of Speech ecognition 【原出版社】 Prentice Hall/Pearson 【作　　者】Lawrence Rabiner,Biing hwang Juang 【丛 书 名】 大学计算机教育丛书（英文影印版） 【出 版 社】 清华大学出版社 【出版日期】 1999 年9月 【页 码】 507 【版 次】1-1

《Introduction to the Theory of Computation》<br>作者: Michael Sipser<br>译者: 张立昂等<br>机械工业出版社<br><br>本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对于算法描述，均以直观的文字，而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。本书的内容包括三个部分：自动机与语言、可计算性理论和计算复杂性理论。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。<br><br><br>

虽然不是入门教材，但个人感觉这才是真正的“计算机文化基础”，看看章节目录就会爱不释手。<br><br>目录<br>1、1字符串、字母表和语言<br>第一章 预备知识<br>1、2图和树<br>1、3归纳证明<br>1、4集合<br>1、5关系<br>1、6本书提要<br>2、1有穷状态系统<br>第二章 有穷自动机和正规表达式<br>2、2基本定义<br>2、3非确定有穷自动机<br>2、4具有∈动作的有穷自动机<br>2、5正规表达式<br>2、6双向有穷自动机<br>2、7具有输出的有穷自动机<br>2、8有穷自动机的应用<br>3、1正规集合的泵作用引理<br>第三章 正规集合的性质<br>3、2正规集合的封闭性质<br>3、3正规集合的判定算法<br>3、4Myhill-Nerode定理和有穷自动机的最小化<br>4、1动机和引言<br>第四章 上下文无关文法<br>4、2上下文无关文法<br>4、3派生树<br>4、4上下文无关文法的简化<br>4、5Chomsky范式<br>4、6Greibach范式<br>4、7固有多义上下文无关语言的存在性<br>5、1非形式描述<br>第五章 下推自动机<br>5、2定义<br>5、3下推自动机和上下文无关语言<br>6、1关于CFL的泵作用引理<br>第六章 上下文无关语言的性质<br>6、2CFL的封闭性质<br>6、3有关CFL的判定算法<br>7、1引言<br>第七章 图灵机<br>7、2图灵机模型<br>7、3可计算语言和可计算函数<br>7、4图灵机构造技术<br>7、5图灵机的修改<br>7、6Church假设<br>7、7作为枚举器的图灵机<br>7、8等价于基本模型的受限图灵机<br>8、1问题<br>第八章 不可判定性<br>8、2递归语言和递归可枚举语言的性质<br>8、3通用图灵机和一个不可判定问题<br>8、4Rice定理和某些其它的不可判定问题<br>8、5Post对应问题的不可判定性<br>8、6图灵机的有效计算和无效计算：证明CFL问题不可判定性的一个工具<br>8、7Greibach定理<br>8、8递归函数论初步<br>8、9Oracle计算<br>9、1正规文法<br>第九章 Chomsky谱系<br>9、2无限制文法<br>9、3上下文有关语言<br>9、4语言类之间的关系<br>第十章 确定的上下文无关语言<br>10、1DPDA的标准形式<br>10、2DCFL在补运算下的封闭性<br>10、3预测机<br>10、4DCFL的其它封闭性质<br>10、5DCFL的判定性质<br>10、6LR（0）文法<br>10、7LR（0）文法与DPDA<br>10、8LR（k）文法<br>11、1三元族和完全三元族<br>第十一章 语言族的封闭性质<br>11、2广义时序机映射<br>11、3三元族的其它封闭性质<br>11、4抽象语言族<br>11、5AFL运算的独立性<br>11、6小结<br>12、1定义<br>第十二章 计算复杂性理论<br>12、2线性加速、带压缩和带数目的减少<br>12、3谱系定理<br>12、4复杂性量度间的关系<br>12、5转换引理和非确定谱系<br>12、6一般复杂性量度的性质：间隙定理、加速定理和并定理<br>12、7公理化复杂性理论<br>13、1多项式时间和空间<br>第十三章 难解型问题<br>13、2某些NP完全问题<br>13、3co-NP类<br>13、4PSPACE完全问题<br>13、5对于P和NSPACE（logn）的完全问题<br>13、6某些可证明的难解型问题<br>13、7对于带Oracle的图灵机的P=NP问题：辨别是否P=NP时我们能力的限度<br>14、1辅助下推自动机<br>第十四章 其它重要语言类集锦<br>14、2栈自动机<br>14、3加标语言<br>14、4发展系统<br>14、5小结<br>参考文献<br>汉英名词索引<br>