1PDA的控制状态与栈
闭卷重建PDA的控制状态与栈的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2按终态与按空栈接受
闭卷重建按终态与按空栈接受的对象、状态、事件、不变量与一个失败反例。
3CFG到PDA的构造
闭卷重建CFG到PDA的构造的对象、状态、事件、不变量与一个失败反例。
4PDA到CFG的状态配对变量
闭卷重建PDA到CFG的状态配对变量的对象、状态、事件、不变量与一个失败反例。
5CFL闭包与反例策略
闭卷重建CFL闭包与反例策略的对象、状态、事件、不变量与一个失败反例。
6实验：确定性栈动作
闭卷重建实验：确定性栈动作的对象、状态、事件、不变量与一个失败反例。
7证明：CFG与PDA等价
闭卷重建证明：CFG与PDA等价的对象、状态、事件、不变量与一个失败反例。