1格、不动点与单调性
闭卷重建格、不动点与单调性的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2到达定义分析
闭卷重建到达定义分析的输入制品、规则、输出不变量与失败反例。
3活跃变量分析
闭卷重建活跃变量分析的输入制品、规则、输出不变量与失败反例。
4可用表达式分析
闭卷重建可用表达式分析的输入制品、规则、输出不变量与失败反例。
5工作表算法与收敛
闭卷重建工作表算法与收敛的输入制品、规则、输出不变量与失败反例。
6实验：活跃变量迭代器
闭卷重建实验：活跃变量迭代器的输入制品、规则、输出不变量与失败反例。
7实验：到达定义计算器
闭卷重建实验：到达定义计算器的输入制品、规则、输出不变量与失败反例。