Lecture 3 (Computation Theory)