1DFA五元组与逐符号运行
闭卷重建DFA五元组与逐符号运行的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2从语言条件设计状态语义
闭卷重建从语言条件设计状态语义的对象、状态、事件、不变量与一个失败反例。
3乘积构造：并、交与差
闭卷重建乘积构造：并、交与差的对象、状态、事件、不变量与一个失败反例。
4补语言与完备化
闭卷重建补语言与完备化的对象、状态、事件、不变量与一个失败反例。
5可达状态与等价状态
闭卷重建可达状态与等价状态的对象、状态、事件、不变量与一个失败反例。
6实验：通用DFA模拟器
闭卷重建实验：通用DFA模拟器的对象、状态、事件、不变量与一个失败反例。
7实验：DFA等价短证据
闭卷重建实验：DFA等价短证据的对象、状态、事件、不变量与一个失败反例。