1.

Which of the following languages are undecidable? Note that (M) indicates encoding of the Turing machine M.L1 = {| L(M) = ϕ}L2 = {| M on input w reaches state q in exactly 100 steps}L3 = {| L(M) is not recursive}L4 = {| L(M) contains at least 21 members}

A. L1, L3, and L4 only
B. L1 and L3 only
C. L2 and L3 only
D. L2, L3, and L4 only
Answer» B. L1 and L3 only


Discussion

No Comment Found