计算机引论导引

这是对计算机引论导引课程ppt资料 第1章：概念自动机语言 第2章：正则语言 第3章：上下文无关语言 第4章：下推自动机 第5章：图灵机 第6章：非确定性图灵机、上下文无关语言的可判定性 第7章：可判定性回顾 第8章：规约、可计算函数 第9章：递归哥德尔 第10章：不可压缩性 第11章：多项式时间 第12章：多项式规约 第13章：NP完全问题 第14章：哈密尔顿ＮＰ完全 第15章：空间复杂度 第16章：疑难性 第17章：复杂理论高级专题