附录A 一个完整的前端
把源语言、主程序、扫描器、符号表/类型、表达式/布尔/语句IR与分析器集成为完整前端；用编译流水线、状态轨迹和等价性验证门交付模块接口、端到端轨迹、黄金IR、诊断快照与回归集
学习目标
- 能说明“附录A 一个完整的前端”如何把源语言、主程序、扫描器、符号表/类型、表达式/布尔/语句IR与分析器集成为完整前端，并区分Pearson英文第二版、中文译本、现代工具和本站重写
- 能先预测“各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？”会改变哪一个输入、表示、栈/图状态、IR、目标代码或验证结果，再操作三类交互证据
- 能只注入“错误恢复跳过token后源位置没有同步，后续诊断和IR映射全部偏移”，定位首个偏离“token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致”的状态，并从同一快照完成恢复
为什么从这个问题开始
“附录A 一个完整的前端”围绕“各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？”建立贯穿任务：构建并回归测试一个小语言完整前端。先写下哪个输入、表示、栈/图状态、IR、目标代码或验证结果会最先变化，再运行参考、故障和恢复路径；运行后补理由不算预测。只有守住“token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致”并交付模块接口、端到端轨迹、黄金IR、诊断快照与回归集，编译成功、分析收敛、目标码长度或基准加速才构成机制证据。
原版书目、556个正式坐标与访问边界
“附录A 一个完整的前端”以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官方目录继续核对版本与章/附录框架。
“附录A 一个完整的前端”再以中文版完整目录与高校馆藏书目核对赵建华、郑滔、戴新宇译《编译原理（第2版）》，机械工业出版社，2009年，631页，ISBN 9787111251217。正式分母计入12个章标题、2个附录标题、533个数字编号节/小节和附录A的9个编号节，合计556个核心目录层级；章末总结、练习、参考文献和索引不重复计为知识节点。
原书与译本均受版权保护，“附录A 一个完整的前端”不复制、翻译或改写原文、图表、算法伪码和练习，只把官方目录当作范围坐标；中文讲解、状态轨迹、反例、交互、练习与答案均为独立教学重写。本页独立核对 1、本页独立核对 2只用于核对现代IR、工具或实验边界，不反向证明原书采用本站表述。
原版目录层级与可验证机制
附录A 一个完整的前端
↡一个完整的前端对应正式目录坐标“附录A 一个完整的前端”，在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 1/10。 原版目录键 附录A 一个完整的前端。在“附录A 一个完整的前端”的第1个正式坐标中，「附录A 一个完整的前端」通过集成模块接口或用明确系数域、秩与容差验证数学条件推进前端集成、接口与端到端诊断；复核者保存端到端轨迹、黄金IR、矩阵消元、秩证明与边界案例，出现模块状态错位或任意数值容差导致错误结论就撤回结论。
A·1 源语言
↡源语言对应正式目录坐标“A.1 源语言”，在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 2/10。 原版目录键 A.1 源语言。围绕“各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？”，“附录A 一个完整的前端”在坐标2把「A·1 源语言」落实为集成模块接口或用明确系数域、秩与容差验证数学条件；只有端到端轨迹、黄金IR、矩阵消元、秩证明与边界案例可重放且反例排除模块状态错位或任意数值容差导致错误结论，本节点才算掌握。
A·2 主程序
↡主程序对应正式目录坐标“A.2 主程序”，在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 3/10。 原版目录键 A.2 主程序。“附录A 一个完整的前端”的目录节点3「A·2 主程序」不能停在术语或伪码：它要集成模块接口或用明确系数域、秩与容差验证数学条件，交付端到端轨迹、黄金IR、矩阵消元、秩证明与边界案例，并把模块状态错位或任意数值容差导致错误结论设为单一反事实。
A·3 词法分析器
↡词法分析器对应正式目录坐标“A.3 词法分析器”，在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 4/10。 原版目录键 A.3 词法分析器。对“附录A 一个完整的前端”而言，「A·3 词法分析器」在第4次检查中改变可观察状态，因为它负责声明阶段接口、名字/类型/状态角色和源—目标语义映射；阶段快照、符号表、类型、IR谱系、诊断和源位置必须与“token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致”对齐，不能接受阶段边界丢失绑定、类型、控制依赖或源位置。
A·4 符号表和类型
↡符号表和类型对应正式目录坐标“A.4 符号表和类型”，在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 5/10。 原版目录键 A.4 符号表和类型。在“附录A 一个完整的前端”的第5个正式坐标中，「A·4 符号表和类型」通过声明阶段接口、名字/类型/状态角色和源—目标语义映射推进前端集成、接口与端到端诊断；复核者保存阶段快照、符号表、类型、IR谱系、诊断和源位置，出现阶段边界丢失绑定、类型、控制依赖或源位置就撤回结论。
A·5 表达式的中间代码
↡表达式的中间代码对应正式目录坐标“A.5 表达式的中间代码”，在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 6/10。 原版目录键 A.5 表达式的中间代码。围绕“各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？”，“附录A 一个完整的前端”在坐标6把「A·5 表达式的中间代码」落实为声明阶段接口、名字/类型/状态角色和源—目标语义映射；只有阶段快照、符号表、类型、IR谱系、诊断和源位置可重放且反例排除阶段边界丢失绑定、类型、控制依赖或源位置，本节点才算掌握。
A·6 布尔表达式的跳转代码
↡布尔表达式的跳转代码对应正式目录坐标“A.6 布尔表达式的跳转代码”，在“附录A 一个完整的前端”中用于把源级值、地址、类型、控制边和定义—使用关系编码为IR，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 7/10。 原版目录键 A.6 布尔表达式的跳转代码。“附录A 一个完整的前端”的目录节点7「A·6 布尔表达式的跳转代码」不能停在术语或伪码：它要把源级值、地址、类型、控制边和定义—使用关系编码为IR，交付AST/DAG、类型证明、CFG、SSA链、地址计算与回填列表，并把类型、phi输入、控制边、地址或定义—使用关系错位设为单一反事实。
A·7 语句的中间代码
↡语句的中间代码对应正式目录坐标“A.7 语句的中间代码”，在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 8/10。 原版目录键 A.7 语句的中间代码。对“附录A 一个完整的前端”而言，「A·7 语句的中间代码」在第8次检查中改变可观察状态，因为它负责声明阶段接口、名字/类型/状态角色和源—目标语义映射；阶段快照、符号表、类型、IR谱系、诊断和源位置必须与“token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致”对齐，不能接受阶段边界丢失绑定、类型、控制依赖或源位置。
A·8 语法分析器
↡语法分析器对应正式目录坐标“A.8 语法分析器”，在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 9/10。 原版目录键 A.8 语法分析器。在“附录A 一个完整的前端”的第9个正式坐标中，「A·8 语法分析器」通过声明阶段接口、名字/类型/状态角色和源—目标语义映射推进前端集成、接口与端到端诊断；复核者保存阶段快照、符号表、类型、IR谱系、诊断和源位置，出现阶段边界丢失绑定、类型、控制依赖或源位置就撤回结论。
A·9 创建前端
↡创建前端对应正式目录坐标“A.9 创建前端”，在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，并受源程序、表示、规则、目标机、代价与验证边界约束。正式坐标 10/10。 原版目录键 A.9 创建前端。围绕“各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？”，“附录A 一个完整的前端”在坐标10把「A·9 创建前端」落实为集成模块接口或用明确系数域、秩与容差验证数学条件；只有端到端轨迹、黄金IR、矩阵消元、秩证明与边界案例可重放且反例排除模块状态错位或任意数值容差导致错误结论，本节点才算掌握。
先预测，再操作三个章专属实验
1. 输入、表示与翻译流水线
为“附录A 一个完整的前端”选择正式目录坐标，在参考流水线与单一故障间切换，逐阶段核对输入、变换、输出和不变量。
输入—表示—翻译流水线
附录A 一个完整的前端
选择正式目录坐标，再比较参考编译合同与单一故障的首个状态分岔。
阶段 1/4
附录A 一个完整的前端 · 输入与表示
- 输入
- 构建并回归测试一个小语言完整前端
- 变换
- 冻结前端集成、接口与端到端诊断所需的源程序、文法/IR/机器版本、shape和符号角色
- 输出证据
- 附录A 一个完整的前端的输入合同、版本表与基线快照
- 不变量检查
- 附录A 一个完整的前端的源位置、名字、类型、控制/数据依赖和可见性没有越界
附录A 一个完整的前端的可重放协议
| 阶段 | 允许动作 | 必留证据 | 拒绝条件 |
|---|---|---|---|
| 附录A 一个完整的前端 · 输入与表示 | 冻结前端集成、接口与端到端诊断所需的源程序、文法/IR/机器版本、shape和符号角色 | 附录A 一个完整的前端的输入合同、版本表与基线快照 | 未满足“附录A 一个完整的前端的源位置、名字、类型、控制/数据依赖和可见性没有越界” |
| 附录A 一个完整的前端 · 状态变换 | 执行把源语言、主程序、扫描器、符号表/类型、表达式/布尔/语句IR与分析器集成为完整前端的最小算法并保存每一步状态 | 附录A 一个完整的前端的参考轨迹、故障轨迹与首个状态分岔 | 未满足“附录A 一个完整的前端每一步可由同一输入、规则、版本和顺序复算” |
| 附录A 一个完整的前端 · 输出与代价 | 比较变换前后IR/目标状态、诊断、资源或分析精度 | 附录A 一个完整的前端的前后差、语义映射、代价和恢复路径 | 未满足“附录A 一个完整的前端没有把编译成功、分析收敛或单一基准加速当作完整正确性” |
| 附录A 一个完整的前端 · 独立验证 | 重放预测、单故障、恢复和不适用边界 | 附录A 一个完整的前端的接受、回退或拒绝理由 | 未满足“附录A 一个完整的前端满足“token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致”” |
unit: "dbc-unit-13"
question: "各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？"
scenario: "构建并回归测试一个小语言完整前端"
invariant: "token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致"
fault: "错误恢复跳过token后源位置没有同步，后续诊断和IR映射全部偏移"
evidence: "模块接口、端到端轨迹、黄金IR、诊断快照与回归集"
reset: restore_concept_mode_stage_trace_step_case_gates_and_artifact“附录A 一个完整的前端”要求从同一源程序、文法/IR/机器版本、规则、预算和执行顺序重放参考、故障与恢复路径。重置后若目录选择、模式、阶段、轨迹步骤、案例、证据门或交付包没有回到基线，本次比较已经混入状态泄漏。
本页回顾
掌握“附录A 一个完整的前端”不是背术语、表格或伪码，而是围绕“各模块接口怎样从字符输入到类型正确IR保持同一源位置与错误恢复？”重建输入、表示、状态变换、输出、代价和独立验证，并用“token、AST、符号、类型、控制流、诊断位置和模块版本端到端一致”拒绝“错误恢复跳过token后源位置没有同步，后续诊断和IR映射全部偏移”。最终交付为模块接口、端到端轨迹、黄金IR、诊断快照与回归集。
练习与答案
练习
- 问题 1：编译合同。 “附录A 一个完整的前端”为什么必须先冻结源程序、文法/IR/机器版本、规则、预算和验证口径？
- 问题 2：目录逐项覆盖。 怎样证明“附录A 一个完整的前端”的正式目录坐标已经进入机制、交互和练习？
- 问题 3：故障恢复。 怎样证明“错误恢复跳过token后源位置没有同步，后续诊断和IR映射全部偏移”已经被修正？
名词解释
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 一个完整的前端
检索键 dbc-A 对应正式目录坐标「附录A 一个完整的前端」；在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 源语言
检索键 dbc-B 对应正式目录坐标「A·1 源语言」；在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 主程序
检索键 dbc-C 对应正式目录坐标「A·2 主程序」；在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 词法分析器
检索键 dbc-D 对应正式目录坐标「A·3 词法分析器」；在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 符号表和类型
检索键 dbc-E 对应正式目录坐标「A·4 符号表和类型」；在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 表达式的中间代码
检索键 dbc-F 对应正式目录坐标「A·5 表达式的中间代码」；在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 布尔表达式的跳转代码
检索键 dbc-G 对应正式目录坐标「A·6 布尔表达式的跳转代码」；在“附录A 一个完整的前端”中用于把源级值、地址、类型、控制边和定义—使用关系编码为IR，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 语句的中间代码
检索键 dbc-H 对应正式目录坐标「A·7 语句的中间代码」；在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 语法分析器
检索键 dbc-I 对应正式目录坐标「A·8 语法分析器」；在“附录A 一个完整的前端”中用于声明阶段接口、名字/类型/状态角色和源—目标语义映射，需要连接原版范围、状态轨迹、等价性证据和不适用边界。
- 创建前端
检索键 dbc-J 对应正式目录坐标「A·9 创建前端」；在“附录A 一个完整的前端”中用于集成模块接口或用明确系数域、秩与容差验证数学条件，需要连接原版范围、状态轨迹、等价性证据和不适用边界。