Lecture 2: Aug 11, 2014 2.1 Introduction 2.2 Turing Machines