Lecture 7 (Computation Theory)