Prove that $T=\{\langle M\rangle\mid M \text{ is TM that accepts $w^R$ iff it accepts $w$}\} $ is not decidable. I have no idea how to start. Help me, please
Asked
Active
Viewed 696 times
1
-
3Rice's theorem, maybe? (But I'm very rusty on this stuff.) ${}\qquad{}$ – Michael Hardy Jun 12 '15 at 22:23
-
Yes, It may helps me. Is there solution without this theorem ? – user220688 Jun 12 '15 at 22:41