Lecture15_Part4

Lecture15_Part4 - Proof S="On input M , w where M...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Proof S="On input M , w where M is a TM: 1. Run R on input M , w until it halts. 2. If R rejects, (i.e. M loops on w ) - reject. (At this stage we know that R accepts, and we conclude that M halts on input w.) 3. Simulate M on w until it halts. 4. If M accepts - accept, otherwise - reject. " 14 Proof (cont.) Assume by way of contradiction that HALTTM is decidable and let R be a TM deciding it. In the next slide we present TM S that uses R as a subroutine and decides ATM . Since ATM is undecidable this constitutes a contradiction, so R does not exist. 13 Another Example Another Example Note: Since we already know that both ATM and HALTTM are undecidable, this new proof does not add any new information. We bring it here only for the the sake of demonstration. In the discussion, you saw how Diagonalization can be used to prove that HALTTM is not decidable. We can use this result to prove by reduction that ATM is not decidable. 15 16 ...
View Full Document

Ask a homework question - tutors are online