Lecture 6 (Computation Theory)