Lecture 2 (Computation Theory)