State Rice's Theorem. Define all the concepts in the theorem.

a$)$ Define the formal language $L_h.$ b$)$ State the theorems we have learnt on the rec$-$

ognizability and decidability of $L_h.$ c$)$ Is it true, that the complementary language

of $L_h$ is in RE$?$ Why?