计划覆盖

• 图灵机
• 不可判定
• 归约
• 复杂度类

原子清单