Lecture 8 (Computation Theory)