资源简介
本书由 Michael Sipser 编写,是计算理论领域的标杆教材。以清晰的叙事讲解自动机与语言、可计算性理论与计算复杂性理论三大主题,证明优雅、习题精良,是理论计算机科学的最佳入门与进阶读物。
主要内容
- 正则语言与有穷自动机
- 上下文无关语言与下推自动机
- 图灵机与可计算性
- 可判定性与归约
- 时间/空间复杂性与 NP 完全性
适合人群
- 理论计算机科学方向学生
- 算法与复杂性理论学习者
- 计算机专业研究生
使用说明
- 点击上方「百度网盘」按钮跳转下载,提取码:
w8t6 - 资源仅供个人学习交流,请勿用于商业用途