Aa. INFINITETM = {(M)| M is a TM and L(M) is an infinite language}. b. {(M)|M is a TM and 1011 € L(M)}. c. ALLTM = {(M)| M is a TM and L(M) = Σ*}. L(M₁) = L(M2), we have (M1) E P iff (M2) E P. Here, M₁ and M2 are any