Question: 2. Assume that = {0,1}. Let L = {(M) | M is a TM and {0, 1} C L(M)}, L = {(M)| M is
2. Assume that = {0,1}. Let L = {(M) | M is a TM and {0, 1} C L(M)}, L = {(M)| M is a TM and {0, 1} = L(M)}. Show that both L and L2 are undecidable.
Step by Step Solution
3.34 Rating (148 Votes )
There are 3 Steps involved in it
To show that both L and L are undecidable we can use reduction from the halting problem which is kno... View full answer
Get step-by-step solutions from verified subject matter experts
