计算理论 / 计算机科学的形式化方法
基于 Hopcroft–Motwani–Ullman《自动机理论、语言和计算导论》第三版的自包含学习笔记
1 Start Here
这是一套以教材为主线、可以脱离教材独立学习的计算理论课程知识库。内容覆盖有限自动机、正则语言、上下文无关文法与下推自动机、图灵机、不可判定性、NP 完全性与更高复杂度类。
1.1 学习方式
- 从下方“课程章节”按 Chapter 1 → Chapter 11 顺序学习；
- 每章正文包含定义、直觉、形式化描述、证明/构造、例子、易错点与章节衔接；
- 完成对应“教材习题”，再回看章节知识点；
- 符号与术语可在 Reference 中统一查询。
1.2 Course Progress
- Chapter 1–11：自包含课程笔记已完成；
- Chapter 2：23 道教材习题配有完整解答；
- Chapter 3–11：195 个教材编号习题已建立条目，配套通用解题方法导引（不是逐题完整解答，详见各章习题页说明）；
- 全书：319 个编号目录知识点已建立覆盖审计；
- 本站由 Quarto 1.10.18 构建，并通过 GitHub Actions 发布到 GitHub Pages。