CSE 311: Foundations of Computing CSE 311 Foundations of Computing I Lecture 26 Computability: Turing machines, Undecidability of the Halting Problem Spring 2013 1 Announcements…