Question 2: Rice's theorem Two TMs M1,M2 are called equivalent if they behave the same on all inputs. Namely, for every input x, they both accept, both reject or both loop. A property of TMs is a function f : {0,1}* {0,1} that satisfies the following condition: for any equivalent TMs M1 and M2 it holds that f()=f(). Here we assume that is some fixed encoding of TMs. Prove Rice's theorem: if f is a decidable property of TMs then f is constant. Namely either f()=0 for all M, or f()=1 for all M. theoreticMsjet Hint: Reduce from the halting problem. Question 2: Rice's theorem Two TMs M1,M2 are called equivalent if they behave the same on all inputs. Namely, for every input x, they both accept, both reject or both loop. A property of TMs is a function f : {0,1}* {0,1} that satisfies the following condition: for any equivalent TMs M1 and M2 it holds that f()=f(). Here we assume that is some fixed encoding of TMs. Prove Rice's theorem: if f is a decidable property of TMs then f is constant. Namely either f()=0 for all M, or f()=1 for all M. theoreticMsjet Hint: Reduce from the halting