About
Members
Research
Publications
Talks
Courses
Trips
Gallery
Theory of Computation, 2015 Spring
Slides
Turing Machines
Turing Machines – Examples (1)
Turing Machines – Examples (2)
Turing Machines and Computability
Undecidability
How to solve undecidable problems?
Final Exam
score
Software Analysis Lab. @ Korea University