1图灵机配置与一步迁移
闭卷重建图灵机配置与一步迁移的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2多带、非确定与模型鲁棒性
闭卷重建多带、非确定与模型鲁棒性的对象、状态、事件、不变量与一个失败反例。
3子程序、宏与机器设计
闭卷重建子程序、宏与机器设计的对象、状态、事件、不变量与一个失败反例。
4枚举器与识别器
闭卷重建枚举器与识别器的对象、状态、事件、不变量与一个失败反例。
5通用机与编码解释
闭卷重建通用机与编码解释的对象、状态、事件、不变量与一个失败反例。
6实验：一元加一图灵机
闭卷重建实验：一元加一图灵机的对象、状态、事件、不变量与一个失败反例。
7实验：带步数预算的通用模拟
闭卷重建实验：带步数预算的通用模拟的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：多带和非确定图灵机不改变可识别语言类，但可能改变模拟开销；实验入口：给出多带机由单带机编码轨道和标记读头的模拟框架；边界：等价说的是计算能力，不代表步数相同；复杂度分析必须保留模拟代价。
核心机制：配置完整记录状态、纸带非空区和读头位置，转移按当前状态与符号写、移、换状态；实验入口：手推一台一元加一机，每步写配置直到停机；边界：接受、拒绝和不停机是三种不同结果；纸带空白符不等于输入空串。
核心机制：语言图灵可识别当且仅当存在枚举器列出其元素；枚举可重复且无需按长度排序；实验入口：由识别器做交错模拟构造枚举器，再由枚举器等待目标串出现构造识别器；边界：目标不在语言时后者可不停机，不能误称为判定器。
核心机制：可复用子程序要声明进入/退出状态、读头位置、保留区与失败约定；实验入口：组合复制、比较和回退三个宏设计0^n1^n判定机；边界：画框写宏名不是证明，至少说明宏可由有限转移展开。
核心机制：实现确定性转移表解释器，在纸带右端写一个1并输出结果与步数；实验入口：覆盖空输入、一个1、多个1和非法符号；边界：模拟器正确不等于被模拟程序满足任意规格，二者需分层验收。
核心机制：通用机读取机器编码和输入编码，逐步模拟被编码机器，是程序即数据的形式基础；实验入口：设计一个微型转移表解释器，检查非法状态、步数上限和停机输出；边界：步数上限导致TIMEOUT不等于原机永不停止。
核心机制：输入有限转移表、初始带和预算，输出ACCEPT、REJECT或TIMEOUT以及配置摘要；实验入口：四组测试分别覆盖三种结果和左侧扩展；边界：TIMEOUT只能陈述预算内未停机，不能用作停机问题判定。