1目标机模型与指令选择
闭卷重建目标机模型与指令选择的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2树覆盖与指令匹配
闭卷重建树覆盖与指令匹配的输入制品、规则、输出不变量与失败反例。
3活跃区间与冲突图
闭卷重建活跃区间与冲突图的输入制品、规则、输出不变量与失败反例。
4图着色与溢出
闭卷重建图着色与溢出的输入制品、规则、输出不变量与失败反例。
5调用约定与栈帧
闭卷重建调用约定与栈帧的输入制品、规则、输出不变量与失败反例。
6实验：冲突图贪心着色
闭卷重建实验：冲突图贪心着色的输入制品、规则、输出不变量与失败反例。
7实验：栈机目标代码生成
闭卷重建实验：栈机目标代码生成的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：树覆盖与指令匹配必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为树覆盖与指令匹配准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；树覆盖与指令匹配遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：目标机模型与指令选择必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为目标机模型与指令选择准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；目标机模型与指令选择遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：图着色与溢出必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为图着色与溢出准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；图着色与溢出遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：活跃区间与冲突图必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为活跃区间与冲突图准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；活跃区间与冲突图遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：冲突图贪心着色必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：冲突图贪心着色准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：冲突图贪心着色遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：调用约定与栈帧必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为调用约定与栈帧准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；调用约定与栈帧遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：栈机目标代码生成必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：栈机目标代码生成准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：栈机目标代码生成遇到二义、未定义行为或目标机限制时必须显式诊断。