1产生式、推导与语言
闭卷重建产生式、推导与语言的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2语法树与二义性
闭卷重建语法树与二义性的对象、状态、事件、不变量与一个失败反例。
3消除无用符号与空产生式
闭卷重建消除无用符号与空产生式的对象、状态、事件、不变量与一个失败反例。
4Chomsky范式
闭卷重建Chomsky范式的对象、状态、事件、不变量与一个失败反例。
5CYK算法与解析表
闭卷重建CYK算法与解析表的对象、状态、事件、不变量与一个失败反例。
6实验：括号文法成员判定
闭卷重建实验：括号文法成员判定的对象、状态、事件、不变量与一个失败反例。
7实验：CNF上的CYK
闭卷重建实验：CNF上的CYK的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：同一语法树对应多种独立替换次序，但同一串有两棵不同语法树才说明文法二义；实验入口：为表达式文法画两棵树，说明优先级文法如何排除其中一棵；边界：两条最左推导若只交换独立步骤不一定是二义；语言本身可能固有二义。
核心机制：CFG的非终结符描述递归类别，产生式替换一个非终结符，语言由能推到终结串的全部结果组成；实验入口：对S→aSb|ε写最左与最右推导并标每一步句型；边界：句型可含非终结符而句子只能含终结符；文法是生成器不是解析策略。
核心机制：除开始符可到ε外，CNF只允许A→BC或A→a，便于按子串长度动态规划；实验入口：把含长右部与终结符混排的文法逐步引入新变量转换；边界：CNF转换保持语言而不保持语法树形状；不能宣称消除了语言二义性。
核心机制：先找可生成终结串的符号，再找从开始符可达的符号；空产生式消除要保留可空组合；实验入口：逐轮计算generating、reachable和nullable集合并验证变换前后短串；边界：变换次序会影响中间结果；开始符生成ε时需引入新开始符。
核心机制：用栈或计数器判定单类括号平衡，输出首个前缀错误或ACCEPT；实验入口：覆盖空串、提前闭括号、未闭合和深嵌套；边界：该实现只判一个确定性CFL，不能代表通用CFG解析。
核心机制：CYK按跨度从短到长填表，格子记录能生成对应子串的非终结符；实验入口：对长度5串画三角表，写每个切分点和产生式来源；边界：文法必须先满足CNF；表内存在开始符才是成员判据但不一定唯一解析。
核心机制：读取固定CNF与输入串，输出开始符是否出现在整段表格并报告非空格数；实验入口：用接受、拒绝、单字符和二义分支四组测试；边界：格子数与解析树数量不是同一量，二义时需额外回溯指针。