Lecture15_Part8

# Lecture15_Part8 - Proof Given an instance for ATM M w we...

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

This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Proof Given an instance for ATM , M , w , we may try to run R on this instance. If R accepts, we know that L(M ) = . In particular, M does not accept w so a decider for ATM must reject M,w . Proof Assume by way of contradiction that ETM is decidable and let R be a TM deciding it. In the next slides we devise TM S that uses R as a subroutine and decides ATM . 29 30 Proof M1 M1 Description of___ We start with a TM satisfying L(M 1 ) = L(M ) . nqaccept What happens if R rejects? The only conclusion we can draw is that L(M ) . What we need to know though is whether w L(M ) . M nqstart qstart qaccept qreject nqreject In order to use our decider R for ETM , we once again modify the input machine M to obtain TM M 1 : 31 32 ...
View Full Document

## This note was uploaded on 04/30/2009 for the course CSE 105 taught by Professor Paturi during the Winter '99 term at UCSD.

Ask a homework question - tutors are online