1声明、绑定与名字解析
闭卷重建声明、绑定与名字解析的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2词法作用域与遮蔽
闭卷重建词法作用域与遮蔽的输入制品、规则、输出不变量与失败反例。
3符号表栈与作用域树
闭卷重建符号表栈与作用域树的输入制品、规则、输出不变量与失败反例。
4声明前使用与递归声明
闭卷重建声明前使用与递归声明的输入制品、规则、输出不变量与失败反例。
5模块、导入与可见性
闭卷重建模块、导入与可见性的输入制品、规则、输出不变量与失败反例。
6实验：嵌套作用域解析器
闭卷重建实验：嵌套作用域解析器的输入制品、规则、输出不变量与失败反例。
7实验：未定义与重复声明诊断
闭卷重建实验：未定义与重复声明诊断的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：词法作用域与遮蔽必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为词法作用域与遮蔽准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；词法作用域与遮蔽遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：声明、绑定与名字解析必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为声明、绑定与名字解析准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；声明、绑定与名字解析遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：声明前使用与递归声明必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为声明前使用与递归声明准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；声明前使用与递归声明遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：符号表栈与作用域树必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为符号表栈与作用域树准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；符号表栈与作用域树遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：嵌套作用域解析器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：嵌套作用域解析器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：嵌套作用域解析器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：模块、导入与可见性必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为模块、导入与可见性准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；模块、导入与可见性遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：未定义与重复声明诊断必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：未定义与重复声明诊断准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：未定义与重复声明诊断遇到二义、未定义行为或目标机限制时必须显式诊断。