{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}


Lecture15_Part6 - Discussion Faithful to our principal If...

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

View Full Document Right Arrow Icon
How can we use our decider for ? The answer here is more difficult. The new decider should first modify the input TM , M , Discussion TM A so the modified TM, , accepts, whenever TM M halts . Since M is a part of the input, the modification must be apart of the computation . 21 1 M Faithful to our principal “ If it ain’t broken don’t fix it” , the modified TM keeps M as a subroutine, and the idea is quite simple: Discussion Let and be the accepting and rejecting states of TM M , respectively. In the modified TM,
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Ask a homework question - tutors are online