Question: (20pts)Prove that there can be no Turing machine H which when given as input the encoding for an arbitrary Turing machine, M, and an arbitrary

(20pts)Prove that there can be no Turing machine H which when given as input the encoding for an arbitrary Turing machine, M, and an arbitrary input string, z, can decide if Mi wi stop, (i.e stop, (L.e., accept or reject), on input a or loop. (This is conventionally known as the problem. The proof for this was shown in class.)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Toward a contradiction assume there exists a Turing machine H which when given as input the encoding for an arbitrary Turing machine, M, and an arbitrary input string, x, can decide if M will halt,...

(15pts) Toward a contradiction assume there exists a Turing machine H which when given as input the encoding for an arbitrary Turing machine, M, and an arbitrary imput string, s, can decide if M will...

1.Describe in detail how H in Theorem 12.1 can be modified to produce H . There does not exist any Turing machine H that behaves as required by Definition 12.1. The halting problem is therefore...

Give a detailed description of a Turing Machine M which halts on every input and, when given a string x element {0, 1}*, accepts if and only if there are strings y, z elemet {0,1}* and a non-negative...

Give a detailed description of a Turing Machine M which halts on every input and, when given a string x {0, 1} * , accepts if and only if there are strings y, z {0, 1} * and a non-negative integer n...

Answer the questions numbers 3.1, 3.2, 3.4, 3.5, 3.6, 3.7, 3.8 186 CHAPTER 3 / THE CHURCH-TURING THESIS The following is a high-level description of a TM M that decides A. M = "On input G), the...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

Give Correct ANSWERS Human-Computer Interaction (a) If you had been one of the original inventors of the WIMP interface, and engineers on the technical team had been sceptical about the advantages...

Define the notions of Turing-recognisable language and undecidable language. b) Is L Turing- recognisable? Justify your answer with an informal argument. c) Justify with a formal proof your answer to...

The Warrenburg Antique Mall expects to make purchases in the first quarter of 2012 as follows: January........ $90,000 February ...... 102,000 March ....... 84,000 Purchases in December 2011 are...

The ability to accurately forecast demand is one of the major issues involved in the efforts discussed in the case. Go online and research which technologies companies are employing today to improve...

Which of the following is widely accepted as the primary driver of portfolio returns? Multiple choice question. A manager's skill at selecting undervalued stocks. A manager's allocation choices...

Seved Help 14 Wisconsin Snowmobile Corp. is considering a switch to level production Cost efficiencies would occur under level production, and aftertax costs would decline by $31,500, but inventory...

=+ Is recognition of a union an entitlement or not? Level of organization

=+ Are unions company-wide, regional, or national?

=+j Explain the litigation risks in international labor relations.