1字符、词素与Token契约
闭卷重建字符、词素与Token契约的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2正则表达式到NFA
闭卷重建正则表达式到NFA的输入制品、规则、输出不变量与失败反例。
3子集构造得到DFA
闭卷重建子集构造得到DFA的输入制品、规则、输出不变量与失败反例。
4最长匹配与规则优先级
闭卷重建最长匹配与规则优先级的输入制品、规则、输出不变量与失败反例。
5位置、注释与词法错误恢复
闭卷重建位置、注释与词法错误恢复的输入制品、规则、输出不变量与失败反例。
6实验：手写最长匹配词法器
闭卷重建实验：手写最长匹配词法器的输入制品、规则、输出不变量与失败反例。
7实验：正则到DFA模拟器
闭卷重建实验：正则到DFA模拟器的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：正则表达式到NFA必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为正则表达式到NFA准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；正则表达式到NFA遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：字符、词素与Token契约必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为字符、词素与Token契约准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；字符、词素与Token契约遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：最长匹配与规则优先级必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为最长匹配与规则优先级准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；最长匹配与规则优先级遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：子集构造得到DFA必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为子集构造得到DFA准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；子集构造得到DFA遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：手写最长匹配词法器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：手写最长匹配词法器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：手写最长匹配词法器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：位置、注释与词法错误恢复必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为位置、注释与词法错误恢复准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；位置、注释与词法错误恢复遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：正则到DFA模拟器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：正则到DFA模拟器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：正则到DFA模拟器遇到二义、未定义行为或目标机限制时必须显式诊断。