Let REPEATTM = { | M is a TM, and for all s L(M), s = uv where u = v }. Show that REPEATTM is undecidable. Do not use Rice’s Theorem. Let REPEATTM = { <M>M is a TM, and for all s E L(M), s = uv where u = v}. Show that REPEATM is undecidable. Do not use Rice's Theorem.
8. (15) Let REPEATTM = { <M>M is a TM, and for all s € L(M), s = uv where u = v}. Show that REPEATM is undecidable. Do not use Rice's Theorem.
8. (15) Let REPEATTM = { <M> | M is a TM, and for all s L(M), s = uv where u = v }. Show that REPEATTM is undecidable. Do not use Rice’s Theorem. 7. (15) PALINDROIVIDACI vy provimo ETUS in polynomial time. 8. (15) Let REPEATTM = { <M>M is a TM, and for all s € L(M), s = uv where u =v}. Show that REPEATTM is undecidable. Do not use Rice's Theorem. ai
7.(15) Let PALINDROMEDFA = { <M> Mis a DFA, and for all s E L(M), s is a palindrome } Show that PALINDROMEDFA E P by providing an algorithm for it that runs in polynomial time.
5. Use Rice's Theorem to prove the undecidablity of the following language. P = {< M > M is a TM and 1011 E L(M)}.
Let PALINDROMEDFA = { | M is a DFA, and for all s L(M), s is a palindrome }. Show that PALINDROMEDFA P by providing an algorithm for it that runs in polynomial time. Let PALINDROMEDFA = {<M> Mis a DFA, and for alls e L(M), s is a palindrome }. Show that PALINDROMEDFA E P by providing an algorithm for it that runs in polynomial time.
(10) Let L = { <M> | M is a TM that accepts sR whenever it accepts s } . Show that L is undecidable.
2. Let L-M M): M is a Turing machine that accepts at least two binary strings. a) Define the notions of a recognisable language and an undecidable language. [5 marks [5 marks] b) Is L Turing-recognisable? Justify your answer with an informal argument. c) Prove that L is undecidable. (Hint: use Rice's theorem.) [20 marks] 20 marks] d) Bonus: Justify with a formal proof your answer to b). 2. Let L-M M): M is a Turing machine that accepts at...
Help me answer this question plz! 4. Let L = { (A) M is a Turing machine that accepts more than one string } a) Define the notions of Turing-recognisable language and undecidable language. b) Is L Turing-recognisable? Justify your answer with an informal argument. c) Justify with a formal proof your answer to b) d) Prove that L is undecidable. (Hint: use Rice's theorem.) e) Modify your answer to b) when instead of L you have the language Ln...
F F F 12. L={ <M> : L(M) = {b). Le SD/D. 13. L={<M> : L(M) CFLs). LED 14. L = {<M> : L(M) e CFLs). Rice's theorem could be used to prove that L 15. T T D. F L = {<M> : L(M) e CFLs). Le SD. That is, L is not semidecidable. T F 16. L <Mi,M2>:IL(M)L(IM21) 3. That is, there are more strings in L(M2) than in L(M). Rice's theorem could be used to prove that...