1项目集与可行前缀
闭卷重建项目集与可行前缀的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2LR(0)闭包与GOTO
闭卷重建LR(0)闭包与GOTO的输入制品、规则、输出不变量与失败反例。
3SLR表与FOLLOW归约
闭卷重建SLR表与FOLLOW归约的输入制品、规则、输出不变量与失败反例。
4LR(1)展望符传播
闭卷重建LR(1)展望符传播的输入制品、规则、输出不变量与失败反例。
5LALR合并与冲突诊断
闭卷重建LALR合并与冲突诊断的输入制品、规则、输出不变量与失败反例。
6实验：LR项目集构造
闭卷重建实验：LR项目集构造的输入制品、规则、输出不变量与失败反例。
7实验：移进归约驱动器
闭卷重建实验：移进归约驱动器的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：LR(0)闭包与GOTO必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为LR(0)闭包与GOTO准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；LR(0)闭包与GOTO遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：项目集与可行前缀必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为项目集与可行前缀准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；项目集与可行前缀遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：LR(1)展望符传播必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为LR(1)展望符传播准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；LR(1)展望符传播遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：SLR表与FOLLOW归约必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为SLR表与FOLLOW归约准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；SLR表与FOLLOW归约遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：LR项目集构造必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：LR项目集构造准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：LR项目集构造遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：LALR合并与冲突诊断必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为LALR合并与冲突诊断准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；LALR合并与冲突诊断遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：移进归约驱动器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：移进归约驱动器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：移进归约驱动器遇到二义、未定义行为或目标机限制时必须显式诊断。