CSCI3130 独立学习阅读导航

更新：2026-09-20。上次未完成的本地资料伴读现已补齐：本次新增 26 份，合计 64 份。作业与往年题按知识点放在对应讲次的同文件附录中。详细范围见整理状态（本地资料）和来源与题目（本地资料）。

怎样使用新版笔记

2026-10-13 已将 46 份讲课笔记、18 份辅导笔记补成独立学习版：按原件页序保留定义、定理、题面、图表中的数据与关系，并写出必要的推导、算法步骤和例题解法。图以可读的转移表、树或文字结构展开；原件链接用于溯源，学习时不需要并排打开 PPT。补充解法和原件错误辨析明确分开。

2026-10-19：依据原始课件从头编写 Lec 1–6 期中复习，现行文档仍为详细版和简略版两份。按 Lec 分章，章内围绕概念和算法展开：先说明对象与条件，再推导结论或完整执行步骤，说明其正确性和计算成本。正文可独立阅读，图解直接保留在 Markdown 中，不含额外例题或自测。

• HW02 完整题干与解析
• HW03 五小问详细解析
• L04–L05 主题串讲
• Lec 1–6 期中详细复习：从语言与文法的定义讲到自动机构造、非正则证明、文法转换与 CYK；展开原理、完整算法和证明。
• Lec 1–6 期中简略复习：同一范围的精要定义、核心步骤、必要条件和关键公式。

旧全面稿、快速稿、模拟卷及解析已完整收入改写前归档（本地资料），不再作为并行复习入口。

T01 的 PDF 是原 PPT 的阅读副本。

逐讲入口

每份文档头部标明原件与页码，正文按原页顺序讲解。T02、T05、T06、T07 按原 Outline 分成 4、4、5、4 份，替代原先待写的单一“学习笔记”文件；不要到归档中寻找现行入口。

原件与最新性

L00、L01、L02 和 T01 使用 2026-09-17 已核验保存的当前学期版本。L03–L12、L14 使用本地资料包；T02、T05、T06、T07 使用标为 2025T1 的辅导原件。L13、T03、T04 没有原件，没有编造占位内容。

2026-09-20 的 Blackboard 在线核对因 Duo 登录未完成而未能确认最新附件；此项仍待核验，不代表上述本地正文未写完。原件入口：课件（本地资料） · 辅导（本地资料）。

课程索引与题目

课程索引索引（本地资料）含 223 条记录；旧 ID 保留，本次追加 #L11-15。完整题组定位见来源与题目记录（本地资料）。旧稿仍保留于归档（本地资料），无需作为现行伴读并行阅读。

本轮核对范围

本轮覆盖现存上述讲次、辅导与作业；重复动画合并为连贯演算，标题/Outline 页计入页码范围。未取得的 L13、T03、T04、外部视频及原文件缺失图形均不补猜。核对方法与逐文件清单见独立学习核验（本地资料）。

从当前卡住的问题选入口

第一次系统学习可按下表讲次顺序阅读。复习时先尝试文中的自检，再展开提示与推理；对“构造一台机器”的题，至少检验一个合法串、一个非法串和空串，并另给覆盖所有输入的不变量证明。有限样例可以发现错误，不能代替一般证明。

阅读时如何核对一个结论

正文先给原件的定义、题目或构造，再标明补充推导与自取例子。遇到原图或原解的漏洞，保留原写法和反例，并另列修正，便于回到对应页确认；不要把“修正后的构造”误当作原页逐字内容。例如 T05 P3 区分 s-grammar 的形式与实际语言，T07 P2 区分读写时间顺序与带上空间顺序。

若只想核对具体一题，先读题面约束和符号约定，再读推导与末尾的边界检查。涉及证明时，特别留意全称／存在量词、双向包含以及是否必须停机；涉及模型模拟时，在完整模拟步的边界比较配置，而不强求每个内部小步一一相同。