1格、不动点与单调性
闭卷重建格、不动点与单调性的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2到达定义分析
闭卷重建到达定义分析的输入制品、规则、输出不变量与失败反例。
3活跃变量分析
闭卷重建活跃变量分析的输入制品、规则、输出不变量与失败反例。
4可用表达式分析
闭卷重建可用表达式分析的输入制品、规则、输出不变量与失败反例。
5工作表算法与收敛
闭卷重建工作表算法与收敛的输入制品、规则、输出不变量与失败反例。
6实验：活跃变量迭代器
闭卷重建实验：活跃变量迭代器的输入制品、规则、输出不变量与失败反例。
7实验：到达定义计算器
闭卷重建实验：到达定义计算器的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：到达定义分析必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为到达定义分析准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；到达定义分析遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：格、不动点与单调性必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为格、不动点与单调性准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；格、不动点与单调性遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：可用表达式分析必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为可用表达式分析准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；可用表达式分析遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：活跃变量分析必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为活跃变量分析准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；活跃变量分析遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：活跃变量迭代器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：活跃变量迭代器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：活跃变量迭代器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：工作表算法与收敛必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为工作表算法与收敛准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；工作表算法与收敛遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：到达定义计算器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：到达定义计算器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：到达定义计算器遇到二义、未定义行为或目标机限制时必须显式诊断。