1正则泵引理的量词顺序
闭卷重建正则泵引理的量词顺序的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2正则语言非正则证明
闭卷重建正则语言非正则证明的对象、状态、事件、不变量与一个失败反例。
3CFL泵引理
闭卷重建CFL泵引理的对象、状态、事件、不变量与一个失败反例。
4Ogden引理选讲
闭卷重建Ogden引理选讲的对象、状态、事件、不变量与一个失败反例。
5Myhill–Nerode可区分后缀
闭卷重建Myhill–Nerode可区分后缀的对象、状态、事件、不变量与一个失败反例。
6实验：有限深度泵反例搜索
闭卷重建实验：有限深度泵反例搜索的对象、状态、事件、不变量与一个失败反例。
7证明门诊：修复量词漏洞
闭卷重建证明门诊：修复量词漏洞的对象、状态、事件、不变量与一个失败反例。