从有限自动机、文法与下推自动机走到图灵机、不可判定、归约、P/NP、随机近似和描述复杂性
大学理论计算完整正课：12章84节，每节从具体实例进入定义、量词、构造、双向正确性、实验、复杂度与反例；含20个真实Python实验、逐课单选/多选/计算、严格证明题、12章卷、期中期末、自动机与归约专项、证明项目、课程笔记与定义定理归约速查。
