1判定器、识别器与余识别器
闭卷重建判定器、识别器与余识别器的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2自动机问题的可判定性
闭卷重建自动机问题的可判定性的对象、状态、事件、不变量与一个失败反例。
3CFG接受与空性
闭卷重建CFG接受与空性的对象、状态、事件、不变量与一个失败反例。
4对角化的逻辑骨架
闭卷重建对角化的逻辑骨架的对象、状态、事件、不变量与一个失败反例。
5接受问题与停机问题
闭卷重建接受问题与停机问题的对象、状态、事件、不变量与一个失败反例。
6实验：有限自动机性质判定
闭卷重建实验：有限自动机性质判定的对象、状态、事件、不变量与一个失败反例。
7证明：Rice定理使用边界
闭卷重建证明：Rice定理使用边界的对象、状态、事件、不变量与一个失败反例。