Lecture 10 (Computation Theory)