Question: Q 1 [ 5 x 3 M = 1 5 M ] . Are the following languages decidable / un - decidable? If it is

Q1[5x3M =15M]. Are the following languages decidable/un-decidable? If it is decidable, prove it. If not, prove by reduction using the language ATM ={M,w|M is a Turing Machine and M accepts w}. a) L2={Mw| M is Turing Machine, w is a string, and some Turing Machine M1 exists such that w does not belong to L(M) L(M1)} b) L3={M| M is a Turing Machine that halts on all inputs and for some undecidable language B, L(M)= L(B)} c) L4={M| M is the Turing Machine and M is the only Turing Machine that accepts L(M)} d) L5={M| M is a Turing Machine and there exist a TM M1 such that the encodings of M and M1 are not same but L(M)= L(M1)} e) L6={M| M is a Turing Machine, and there exists two Turing Machines M1 and M2 such that L(M) L(M1) U L(M2)}

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 Programming Questions!