第5章 语法制导翻译

为什么从这个问题开始

“第5章 语法制导翻译”围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”建立贯穿任务：为声明和表达式构建属性依赖图并选择可执行求值顺序。先写下哪个输入、表示、栈/图状态、IR、目标代码或验证结果会最先变化，再运行参考、故障和恢复路径；运行后补理由不算预测。只有守住“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”并交付属性依赖图、拓扑序、栈快照、语义动作与循环诊断，编译成功、分析收敛、目标码长度或基准加速才构成机制证据。

原版书目、556个正式坐标与访问边界

“第5章 语法制导翻译”以Pearson官方书页核对Alfred V. Aho、Monica S. Lam、Ravi Sethi、Jeffrey D. Ullman著 Compilers: Principles, Techniques, and Tools, Second Edition：英文精装ISBN 9780321486813，2006年版；Pearson明确列出12章与两个附录，并说明第10章“指令级并行”、第11章“并行与局部性优化”、第12章“过程间分析”是第二版新增重点。Pearson官方目录继续核对版本与章/附录框架。

“第5章 语法制导翻译”再以中文版完整目录与高校馆藏书目核对赵建华、郑滔、戴新宇译《编译原理（第2版）》，机械工业出版社，2009年，631页，ISBN 9787111251217。正式分母计入12个章标题、2个附录标题、533个数字编号节/小节和附录A的9个编号节，合计556个核心目录层级；章末总结、练习、参考文献和索引不重复计为知识节点。

原书与译本均受版权保护，“第5章 语法制导翻译”不复制、翻译或改写原文、图表、算法伪码和练习，只把官方目录当作范围坐标；中文讲解、状态轨迹、反例、交互、练习与答案均为独立教学重写。本页独立核对 1只用于核对现代IR、工具或实验边界，不反向证明原书采用本站表述。

原版目录层级与可验证机制

第5章 语法制导翻译

正式坐标 1/24。 原版目录键 第5章 语法制导翻译。在“第5章 语法制导翻译”的第1个正式坐标中，「第5章 语法制导翻译」通过沿依赖图安排属性求值、语义动作和栈位置推进属性依赖、求值顺序与语义动作；复核者保存属性依赖图、拓扑序、栈快照、值与副作用日志，出现属性未就绪、循环依赖或副作用错序就撤回结论。

5·1 语法制导定义

正式坐标 2/24。 原版目录键 5.1 语法制导定义。围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”，“第5章 语法制导翻译”在坐标2把「5·1 语法制导定义」落实为沿依赖图安排属性求值、语义动作和栈位置；只有属性依赖图、拓扑序、栈快照、值与副作用日志可重放且反例排除属性未就绪、循环依赖或副作用错序，本节点才算掌握。

5·1·1 继承属性和综合属性

正式坐标 3/24。 原版目录键 5.1.1 继承属性和综合属性。“第5章 语法制导翻译”的目录节点3「5·1·1 继承属性和综合属性」不能停在术语或伪码：它要沿依赖图安排属性求值、语义动作和栈位置，交付属性依赖图、拓扑序、栈快照、值与副作用日志，并把属性未就绪、循环依赖或副作用错序设为单一反事实。

5·1·2 在语法分析树的结点上计算SDD

正式坐标 4/24。 原版目录键 5.1.2 在语法分析树的结点上计算SDD。对“第5章 语法制导翻译”而言，「5·1·2 在语法分析树的结点上计算SDD」在第4次检查中改变可观察状态，因为它负责声明阶段接口、名字/类型/状态角色和源—目标语义映射；阶段快照、符号表、类型、IR谱系、诊断和源位置必须与“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”对齐，不能接受阶段边界丢失绑定、类型、控制依赖或源位置。

5·2 SDD的求值顺序

正式坐标 5/24。 原版目录键 5.2 SDD的求值顺序。在“第5章 语法制导翻译”的第5个正式坐标中，「5·2 SDD的求值顺序」通过沿依赖图安排属性求值、语义动作和栈位置推进属性依赖、求值顺序与语义动作；复核者保存属性依赖图、拓扑序、栈快照、值与副作用日志，出现属性未就绪、循环依赖或副作用错序就撤回结论。

5·2·1 依赖图

正式坐标 6/24。 原版目录键 5.2.1 依赖图。围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”，“第5章 语法制导翻译”在坐标6把「5·2·1 依赖图」落实为沿依赖图安排属性求值、语义动作和栈位置；只有属性依赖图、拓扑序、栈快照、值与副作用日志可重放且反例排除属性未就绪、循环依赖或副作用错序，本节点才算掌握。

5·2·2 属性计算的顺序

正式坐标 7/24。 原版目录键 5.2.2 属性计算的顺序。“第5章 语法制导翻译”的目录节点7「5·2·2 属性计算的顺序」不能停在术语或伪码：它要沿依赖图安排属性求值、语义动作和栈位置，交付属性依赖图、拓扑序、栈快照、值与副作用日志，并把属性未就绪、循环依赖或副作用错序设为单一反事实。

5·2·3 S属性定义

正式坐标 8/24。 原版目录键 5.2.3 S属性定义。对“第5章 语法制导翻译”而言，「5·2·3 S属性定义」在第8次检查中改变可观察状态，因为它负责沿依赖图安排属性求值、语义动作和栈位置；属性依赖图、拓扑序、栈快照、值与副作用日志必须与“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”对齐，不能接受属性未就绪、循环依赖或副作用错序。

5·2·4 L属性定义

正式坐标 9/24。 原版目录键 5.2.4 L属性定义。在“第5章 语法制导翻译”的第9个正式坐标中，「5·2·4 L属性定义」通过沿依赖图安排属性求值、语义动作和栈位置推进属性依赖、求值顺序与语义动作；复核者保存属性依赖图、拓扑序、栈快照、值与副作用日志，出现属性未就绪、循环依赖或副作用错序就撤回结论。

5·2·5 具有受控副作用的语义规则

正式坐标 10/24。 原版目录键 5.2.5 具有受控副作用的语义规则。围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”，“第5章 语法制导翻译”在坐标10把「5·2·5 具有受控副作用的语义规则」落实为把“具有受控副作用的语义规则”放进属性依赖、求值顺序与语义动作的输入—状态—变换—验证链；只有第5章 语法制导翻译的输入角色、中间状态、输出、反例与等价性证据可重放且反例排除只复述“具有受控副作用的语义规则”名称而没有可观察状态、单故障和恢复验证，本节点才算掌握。

5·3 语法制导翻译的应用

正式坐标 11/24。 原版目录键 5.3 语法制导翻译的应用。“第5章 语法制导翻译”的目录节点11「5·3 语法制导翻译的应用」不能停在术语或伪码：它要沿依赖图安排属性求值、语义动作和栈位置，交付属性依赖图、拓扑序、栈快照、值与副作用日志，并把属性未就绪、循环依赖或副作用错序设为单一反事实。

5·3·1 语法树的构造

正式坐标 12/24。 原版目录键 5.3.1 语法树的构造。对“第5章 语法制导翻译”而言，「5·3·1 语法树的构造」在第12次检查中改变可观察状态，因为它负责让产生式、推导、分析选择、语义动作和树/IR状态逐步对应；文法版本、分析栈、输入指针、树、属性和动作日志必须与“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”对齐，不能接受分析选择或语义动作时点与文法依赖不一致。

5·3·2 类型的结构

正式坐标 13/24。 原版目录键 5.3.2 类型的结构。在“第5章 语法制导翻译”的第13个正式坐标中，「5·3·2 类型的结构」通过把源级值、地址、类型、控制边和定义—使用关系编码为IR推进属性依赖、求值顺序与语义动作；复核者保存AST/DAG、类型证明、CFG、SSA链、地址计算与回填列表，出现类型、phi输入、控制边、地址或定义—使用关系错位就撤回结论。

5·4 语法制导的翻译方案

正式坐标 14/24。 原版目录键 5.4 语法制导的翻译方案。围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”，“第5章 语法制导翻译”在坐标14把「5·4 语法制导的翻译方案」落实为沿依赖图安排属性求值、语义动作和栈位置；只有属性依赖图、拓扑序、栈快照、值与副作用日志可重放且反例排除属性未就绪、循环依赖或副作用错序，本节点才算掌握。

5·4·1 后缀翻译方案

正式坐标 15/24。 原版目录键 5.4.1 后缀翻译方案。“第5章 语法制导翻译”的目录节点15「5·4·1 后缀翻译方案」不能停在术语或伪码：它要把“后缀翻译方案”放进属性依赖、求值顺序与语义动作的输入—状态—变换—验证链，交付第5章 语法制导翻译的输入角色、中间状态、输出、反例与等价性证据，并把只复述“后缀翻译方案”名称而没有可观察状态、单故障和恢复验证设为单一反事实。

5·4·2 后缀SDT的语法分析栈实现

正式坐标 16/24。 原版目录键 5.4.2 后缀SDT的语法分析栈实现。对“第5章 语法制导翻译”而言，「5·4·2 后缀SDT的语法分析栈实现」在第16次检查中改变可观察状态，因为它负责声明阶段接口、名字/类型/状态角色和源—目标语义映射；阶段快照、符号表、类型、IR谱系、诊断和源位置必须与“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”对齐，不能接受阶段边界丢失绑定、类型、控制依赖或源位置。

5·4·3 产生式内部带有动作的SDT

正式坐标 17/24。 原版目录键 5.4.3 产生式内部带有动作的SDT。在“第5章 语法制导翻译”的第17个正式坐标中，「5·4·3 产生式内部带有动作的SDT」通过沿依赖图安排属性求值、语义动作和栈位置推进属性依赖、求值顺序与语义动作；复核者保存属性依赖图、拓扑序、栈快照、值与副作用日志，出现属性未就绪、循环依赖或副作用错序就撤回结论。

5·4·4 从SDT中消除左递归

正式坐标 18/24。 原版目录键 5.4.4 从SDT中消除左递归。围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”，“第5章 语法制导翻译”在坐标18把「5·4·4 从SDT中消除左递归」落实为让产生式、推导、分析选择、语义动作和树/IR状态逐步对应；只有文法版本、分析栈、输入指针、树、属性和动作日志可重放且反例排除分析选择或语义动作时点与文法依赖不一致，本节点才算掌握。

5·4·5 L属性定义的SDT

正式坐标 19/24。 原版目录键 5.4.5 L属性定义的SDT。“第5章 语法制导翻译”的目录节点19「5·4·5 L属性定义的SDT」不能停在术语或伪码：它要沿依赖图安排属性求值、语义动作和栈位置，交付属性依赖图、拓扑序、栈快照、值与副作用日志，并把属性未就绪、循环依赖或副作用错序设为单一反事实。

5·5 L属性SDD的实现

正式坐标 20/24。 原版目录键 5.5 L属性SDD的实现。对“第5章 语法制导翻译”而言，「5·5 L属性SDD的实现」在第20次检查中改变可观察状态，因为它负责沿依赖图安排属性求值、语义动作和栈位置；属性依赖图、拓扑序、栈快照、值与副作用日志必须与“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”对齐，不能接受属性未就绪、循环依赖或副作用错序。

5·5·1 在递归下降语法分析过程中进行翻译

正式坐标 21/24。 原版目录键 5.5.1 在递归下降语法分析过程中进行翻译。在“第5章 语法制导翻译”的第21个正式坐标中，「5·5·1 在递归下降语法分析过程中进行翻译」通过声明阶段接口、名字/类型/状态角色和源—目标语义映射推进属性依赖、求值顺序与语义动作；复核者保存阶段快照、符号表、类型、IR谱系、诊断和源位置，出现阶段边界丢失绑定、类型、控制依赖或源位置就撤回结论。

5·5·2 边扫描边生成代码

正式坐标 22/24。 原版目录键 5.5.2 边扫描边生成代码。围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”，“第5章 语法制导翻译”在坐标22把「5·5·2 边扫描边生成代码」落实为把“边扫描边生成代码”放进属性依赖、求值顺序与语义动作的输入—状态—变换—验证链；只有第5章 语法制导翻译的输入角色、中间状态、输出、反例与等价性证据可重放且反例排除只复述“边扫描边生成代码”名称而没有可观察状态、单故障和恢复验证，本节点才算掌握。

5·5·3 L属性SDD和LL语法分析

正式坐标 23/24。 原版目录键 5.5.3 L属性SDD和LL语法分析。“第5章 语法制导翻译”的目录节点23「5·5·3 L属性SDD和LL语法分析」不能停在术语或伪码：它要声明阶段接口、名字/类型/状态角色和源—目标语义映射，交付阶段快照、符号表、类型、IR谱系、诊断和源位置，并把阶段边界丢失绑定、类型、控制依赖或源位置设为单一反事实。

5·5·4 L属性SDD的自底向上语法分析

正式坐标 24/24。 原版目录键 5.5.4 L属性SDD的自底向上语法分析。对“第5章 语法制导翻译”而言，「5·5·4 L属性SDD的自底向上语法分析」在第24次检查中改变可观察状态，因为它负责声明阶段接口、名字/类型/状态角色和源—目标语义映射；阶段快照、符号表、类型、IR谱系、诊断和源位置必须与“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”对齐，不能接受阶段边界丢失绑定、类型、控制依赖或源位置。

先预测，再操作三个章专属实验

第5章 语法制导翻译的可重放协议

unit: "dbc-unit-05"
question: "属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？"
scenario: "为声明和表达式构建属性依赖图并选择可执行求值顺序"
invariant: "依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致"
fault: "在依赖尚未计算时执行语义动作，结果偶然可用却不可重放"
evidence: "属性依赖图、拓扑序、栈快照、语义动作与循环诊断"
reset: restore_concept_mode_stage_trace_step_case_gates_and_artifact

“第5章 语法制导翻译”要求从同一源程序、文法/IR/机器版本、规则、预算和执行顺序重放参考、故障与恢复路径。重置后若目录选择、模式、阶段、轨迹步骤、案例、证据门或交付包没有回到基线，本次比较已经混入状态泄漏。

本页回顾

掌握“第5章 语法制导翻译”不是背术语、表格或伪码，而是围绕“属性何时就绪，语义动作放在哪里才能避免循环依赖和副作用错序？”重建输入、表示、状态变换、输出、代价和独立验证，并用“依赖边、拓扑顺序、栈位置、属性角色和副作用时点一致”拒绝“在依赖尚未计算时执行语义动作，结果偶然可用却不可重放”。最终交付为属性依赖图、拓扑序、栈快照、语义动作与循环诊断。

练习与答案

名词解释