Use Rice’s theorem, which appears in Problem 5.28, to prove the undecidability of each of the following languages.

Aa. INFINITE_TM = {〈M〉| M is a TM and L(M) is an infinite language}.

b. {〈M〉| M is a TM and 1011 ∈ L(M)}.

c. ALL_TM = {〈M〉| M is a TM and L(M) = Σ^*}.

Problem 5.28

Let P be any nontrivial property of the language of a Turing machine. Prove that the problem of determining whether a given Turingmachine’s language has property P is undecidable.

In more formal terms, let P be a language consisting of Turing machine descriptions where P fulfills two conditions. First, P is nontrivial—it contains some, but not all, TM descriptions. Second, P is a property of the TM’s language—whenever L(M₁) = L(M₂), we have 〈M₁〉 ∈ P iff 〈M₂〉 ∈ P. Here, M₁ and M₂ are any TMs. Prove that P is an undecidable language.