语言与机器：计算机科学理论导论pdf百度网盘下载地址?
本书是计算理论方面的优秀教材之一，包括上下文无关文法、上下文无关文法范式、有限自动机、正则语言的性质、下推自动机和上下文无关语言、图灵机、图灵可计算函数、乔姆斯基层次、判定问题与丘奇图灵机、不可判定性、Mu-递归函数、时间复杂性、库克定理、NP-完全问题、LL(k)文法以及LR(k)文法等问题。本书不仅介绍了计算机科学的基础，而且通过概念的严格表述，以及使用通俗的例子来阐释定理，从而帮助学生提高数学论证能力以及对计算理论知识的全面深入的理解。书中每章后面都有附有大量习题，通过完成这些习题，学生可以加深对本章内容的理解。
本书可以用作计算机科学、计算机工程及其相关专业的教材，也可以作为从事计算理论、形式语言以及计算机系统研发的研究人员和工程技术人员的参考书。
作者简介:
Thomas A．Sudkamp是美国莱特州立大学计算机科学及工程系的教授，他的研究领域 广泛，包括近似推理、人工智能、数理逻辑、建模软计算的应用、复杂问题领域的决策制定以及不确定、不精确信息和知识发掘的机器学习。Sudkamp教授目前还担任IEEE Transactions on System，Man，and Cybemetics和IEEE Transactions on Fuzzy Systems的副编辑，International Journal of Approximate Reasonin9和Fuzzy Sets and Systems的领域编辑。他也曾经担任过北美模糊信息处理协会NAFIPS)的主席以及国际模糊系统联盟(IFSA)的副主席。
目录:
第1章 数学预备知识
第2章 语言
第3章 上下文无关文法
第4章 上下文无关文法范式
第5章 有限自动机
第6章 正则语言的性质
第7章 下推自动机和上下文无关语言
第8章 图灵机
第9章 图灵可计算函数
第10章 乔姆斯基层次
第11章 判定问题与丘奇—图灵论题
第12章 不可判定性
第13章 Mu-递归函数
第14章 时间复杂性
第15章 P、NP和库克定理
第16章 NP-完全问题
第17章 其他复杂性类
第18章 语法分析引论
第19章 LLk文法
第20章 LRk文法
点击下载