1推导、语法树与二义性
闭卷重建推导、语法树与二义性的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2消除左递归与提取左因子
闭卷重建消除左递归与提取左因子的输入制品、规则、输出不变量与失败反例。
3nullable、FIRST与FOLLOW
闭卷重建nullable、FIRST与FOLLOW的输入制品、规则、输出不变量与失败反例。
4LL(1)预测分析表
闭卷重建LL(1)预测分析表的输入制品、规则、输出不变量与失败反例。
5递归下降与错误恢复
闭卷重建递归下降与错误恢复的输入制品、规则、输出不变量与失败反例。
6实验：FIRST/FOLLOW计算器
闭卷重建实验：FIRST/FOLLOW计算器的输入制品、规则、输出不变量与失败反例。
7实验：递归下降表达式解析
闭卷重建实验：递归下降表达式解析的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：消除左递归与提取左因子必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为消除左递归与提取左因子准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；消除左递归与提取左因子遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：推导、语法树与二义性必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为推导、语法树与二义性准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；推导、语法树与二义性遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：LL(1)预测分析表必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为LL(1)预测分析表准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；LL(1)预测分析表遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：nullable、FIRST与FOLLOW必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为nullable、FIRST与FOLLOW准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；nullable、FIRST与FOLLOW遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：FIRST/FOLLOW计算器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：FIRST/FOLLOW计算器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：FIRST/FOLLOW计算器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：递归下降与错误恢复必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为递归下降与错误恢复准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；递归下降与错误恢复遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：递归下降表达式解析必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：递归下降表达式解析准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：递归下降表达式解析遇到二义、未定义行为或目标机限制时必须显式诊断。