This preview shows page 1. Sign up to view the full content.
Unformatted text preview: R w whenever it accepts w}, where R w is the string by writing w in the reverse order (e.g., R w =dfge if w=egfd) . Show that T is undecidable. 5. Let S={<M>  M is a TM and L(M) = {<M>}}. Show that neither S nor its complement S is Turingrecognizable. 6. Show that if A is Turing recognizable if and only if TM m A A ≤ ....
View
Full
Document
This note was uploaded on 02/22/2010 for the course CS 881 taught by Professor H.f. during the Spring '10 term at Shahid Beheshti University.
 Spring '10
 H.F.

Click to edit the document details