Slide 1 February 6, 2015CS21 Lecture 141 CS21 Decidability and Tractability Lecture 14 February 6, 2015 Slide 2 CS21 Lecture 142 Outline undecidable problems –computation…