Lecture 9 (Computation Theory)