计算理论导引Introduction To The Theory Of Computation
中国人民大学信息学院学习资料

教学参考用书
Introduction To The Theory Of Computation, Second Edition Michael Sipser


计算理论导引课后习题答案.pdf
计算理论导引整理.docx
课件
Introduction to Theory of Computation-Sipser 2nd.pdf
Theory of Computing.ppt Von_Neumann_Architecture.svg
Lecture 7 Application in Model Checking.ppt
Lecture 9 Turing Machines.ppt
Lecture 8 Application in Model Checking.ppt
Lecture 3 Regular Expressions.ppt
Lecture 5 Context-free languages.ppt
Lecture 6 Push-down Automata.ppt
Lecture 10 Decidability.ppt
Lecture 4 Pumping & Minimization.ppt
Lecture 13 NP and NP-completeness.ppt
Lecture 2 Finite Automata.ppt
Lecture 12 Time Complexity and P.ppt
510px-Von_Neumann_Architecture.svg.png
Lecture 11 Undecidability.ppt