Question: I urgently need help with 4d, so please do that first. The hint is A Turing Machine can deliberately loop indefinitely. 4. Determine, with proof,

I urgently need help with 4d, so please do that first. The hint is A Turing Machine can deliberately loop indefinitely.

4. Determine, with proof, which of the following languages are undecidable. That is, for an undecidable language, present a proof via Turing reduction of its undecidability, and for a decidable language, exhibit a decider for that language. (a) LALTERNATE = {x : neither 00 nor 11 is a substring of x} (b) LEVEN = {(M): \L(M) is even} (c) L376-HALT = {({M),x) : M halts on x in |2|376 steps} (d) LQUICK-HALT = {(M) : There is an input w such that M halts on w within |w| steps} Hint: See hint in Question 1. 4. Determine, with proof, which of the following languages are undecidable. That is, for an undecidable language, present a proof via Turing reduction of its undecidability, and for a decidable language, exhibit a decider for that language. (a) LALTERNATE = {x : neither 00 nor 11 is a substring of x} (b) LEVEN = {(M): \L(M) is even} (c) L376-HALT = {({M),x) : M halts on x in |2|376 steps} (d) LQUICK-HALT = {(M) : There is an input w such that M halts on w within |w| steps} Hint: See hint in Question 1

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!

can someone solve this Modern workstations typically have memory systems that incorporate two or three levels of caching. Explain why they are designed like this. [4 marks] In order to investigate...

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...

hen we contrive an assumption that the existence of primitive recursive functions pair N 2 N, fst N N and snd N N satisfying for all x, y N fst(pair (x, y)) = x snd(pair (x, y)) = y prove by...

References: Health Information Management Case Studies Second Edition AHIMA by Dianna M. Foley Health Information Management Technology an Applied Approah Sixth Edition AHIMA by Nanette Sayles and...

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...

QUIZ... Let D be a poset and let f : D D be a monotone function. (i) Give the definition of the least pre-fixed point, fix (f), of f. Show that fix (f) is a fixed point of f. [5 marks] (ii) Show that...

A discrete sequence {xn} can be converted into a continuous representation x(t) = ts X n= (t n ts) xn, where ts is the sampling period. (a) State two characteristic properties of Dirac's function. [2...

Python and most Python libraries are free to download or use, though many users use Python through a paid service. Paid services help IT organizations manage the risks associated with the use of...

Please use C++ for this program. Please read the problem and follow the instruction in main.cpp for this program. Problem: - Design an abstract class called Shape: - Private variables double x and...

Can the terms net income and comprehensive income be used interchangeably? Explain.

Johnnys Car Repair Shop started the year with total assets of $60,000 and total liabilities of $40,000. During the year the business recorded $100,000 in car repair revenues, $55,000 in expenses, and...

You bought 1 9 4 shares of ABC Inc. on 1 5 July. On 2 0 July, you sold 1 0 3 shares and then on 2 2 July you bought your final 2 0 4 shares of ABC. The company had a 3 for 2 bonus issue on 5 July to...

The Yurdone Corporation wants to set up a private cemetery business. According to the CFO, Barry M. Deep, business is "looking up". As a result, the cemetery project will provide a net cash inflow of...

2 Eskom is a state-owned enterprise that has now gone through various stages of liberalization and privatization. In view of the increased pressures to make profits and to make savings on the costs...

In contrast to American managers, Indian managers favour labour and government intervention in the affairs of the organization.

Power distance (Hofstede, 1991). African cultures are generally seen as tolerating higher levels of inequality and hierarchy. This has implications for the level of participation in organizations and...