第5周 星期二 第2大节

• 视频：screen_编译原理与设计_第5周_星期二_第2大节.mp4
• 字幕：transcripts/第5周_星期二_第2大节.srt

时间轴

• 00:59 复习：文法四元组、推导、句型/句子、递归文法
• 15:23 二义性定义与I*I+I示例
• 20:07 二义性消除无形式化算法，依赖人工
• 21:10 通过运算符优先级消除二义性：E→E+T|T, T→T*F|F, F→(E)|I
• 25:05 Chomsky文法分类：0/1/2/3型
• 39:50 文法→语言 & 语言→文法练习
• 55:44 0/1数量相等文法设计
• 01:02:11 自上而下 vs 自下而上分析总览
• 01:06:49 自上而下分析示例（带回溯）
• 01:12:28 自下而上分析——规约
• 01:23:40 左递归→死循环示例
• 01:27:50 消除直接左递归：P→Pα|β → P→βP’, P’→αP’|ε
• 01:45:02 消除间接左递归（排序→代入→消除直接）
• 02:03:57 FIRST集：概念、定义、物理意义
• 02:11:16 FIRST集计算规则与示例
• 02:21:12 无回溯条件（充分非必要）：FIRST集两两不相交且不含ε

关键点

考勤/签到/小测

无。

作业

• 02:28:52 PPT将发到群里
• 43:45 练习题为”常见考法”

考试/复习重点

• ⚠️ 20:27 二义性消除不存在形式化方法，靠理解
• 02:02:46 根据语言设计文法是考试常考题型
• 02:03:02 FIRST集计算和左递归消除算法必须掌握
• Chomsky分类（0型→3型）对应的自动机需记忆（25:05）
• 消除直接左递归公式：P→Pα|β → P→βP’, P’→αP’|ε（01:27:50）
• 无回溯充分条件：FIRST集两两不相交+无ε（02:11:32）

其他需要回看的片段

• 21:35-24:27 运算符优先级消除二义性（E+T|T, T*F|F 方法）
• 28:55-33:19 Chomsky各类型文法推导示例
• 51:00-55:17 奇整数文法设计
• 55:44-01:01:31 0/1数量相等文法设计（较难）

省流

语法分析深入。二义性消除（无算法，靠理解）、Chomsky文法四分类、自上而下vs自下而上分析、左递归消除（直接+间接）、FIRST集。⚠️ 二义性消除考试常见，左递归消除和FIRST集必须掌握。