1图灵机配置与一步迁移
闭卷重建图灵机配置与一步迁移的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2多带、非确定与模型鲁棒性
闭卷重建多带、非确定与模型鲁棒性的对象、状态、事件、不变量与一个失败反例。
3子程序、宏与机器设计
闭卷重建子程序、宏与机器设计的对象、状态、事件、不变量与一个失败反例。
4枚举器与识别器
闭卷重建枚举器与识别器的对象、状态、事件、不变量与一个失败反例。
5通用机与编码解释
闭卷重建通用机与编码解释的对象、状态、事件、不变量与一个失败反例。
6实验：一元加一图灵机
闭卷重建实验：一元加一图灵机的对象、状态、事件、不变量与一个失败反例。
7实验：带步数预算的通用模拟
闭卷重建实验：带步数预算的通用模拟的对象、状态、事件、不变量与一个失败反例。