1CST与AST为何不同
闭卷重建CST与AST为何不同的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2节点身份、位置与不可变性
闭卷重建节点身份、位置与不可变性的输入制品、规则、输出不变量与失败反例。
3访问者与模式匹配
闭卷重建访问者与模式匹配的输入制品、规则、输出不变量与失败反例。
4语法糖与脱糖
闭卷重建语法糖与脱糖的输入制品、规则、输出不变量与失败反例。
5解析错误节点与增量编辑
闭卷重建解析错误节点与增量编辑的输入制品、规则、输出不变量与失败反例。
6实验：AST前缀序列化
闭卷重建实验：AST前缀序列化的输入制品、规则、输出不变量与失败反例。
7实验：常量表达式AST求值
闭卷重建实验：常量表达式AST求值的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：节点身份、位置与不可变性必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为节点身份、位置与不可变性准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；节点身份、位置与不可变性遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：CST与AST为何不同必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为CST与AST为何不同准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；CST与AST为何不同遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：语法糖与脱糖必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为语法糖与脱糖准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；语法糖与脱糖遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：访问者与模式匹配必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为访问者与模式匹配准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；访问者与模式匹配遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：AST前缀序列化必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：AST前缀序列化准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：AST前缀序列化遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：解析错误节点与增量编辑必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为解析错误节点与增量编辑准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；解析错误节点与增量编辑遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：常量表达式AST求值必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：常量表达式AST求值准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：常量表达式AST求值遇到二义、未定义行为或目标机限制时必须显式诊断。