{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# hw3 - R w whenever it accepts w where R w is the string by...

This preview shows page 1. Sign up to view the full content.

Homework 3-----CSCI6339 Fall 2009 Due on November 18, 2008 (Wednesday) Type your solution with Microsoft word. 1. Show that T={(i,j,k)| i, j, k are all integers} is countable. 2. Show that there is a correspondence between the two intervals (0,1) and [0,1]. 3. Let A={<R,S> | R and S are regular expression and L(R ) = L( S)}. Show that A is decidable. 4. Let T= {<M> | M is a TM that accepts
This is the end of the preview. Sign up to access the rest of the document.

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 Turing-recognizable. 6. Show that if A is Turing recognizable if and only if TM m A A ≤ ....
View Full Document

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern