hw05 - CS 154 Intro. to Automata and Complexity Theory...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 154 Intro. to Automata and Complexity Theory Handout 23 Autumn 2006 David Dill November 7, 2006 Problem Set 5 Due: November 14, 2006 Homework: (Total 100 points) Do the following exercises. Problem 1. [10 points] In this problem you will establish some closure properties for languages of Turing machines. (a). Are recursive languages closed under intersection ? Justify your answer. (b). Are recursively enumerable languages closed under intersection ? Jus- tify your answer. Problem 2. [20 points] Consider the following problem concerning Turing machines with a tape alphabet Γ. Given a Turing machine M , input string w , and a symbol X Γ, decide whether M , when running on input w , will ever write the symbol X on its tape. Show that this problem is undecidable. Is this problem recursively enumer- able? ( Hint: Can you give a reduction from the universal language L u ? It may help to look at the solution to Exercise 9.3.7(a) in the second edition of the textbook, although Exercise 9.2.1 is more directly relevant.)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/08/2011 for the course CS 154 taught by Professor Motwani,r during the Winter '08 term at Stanford.

Page1 / 2

hw05 - CS 154 Intro. to Automata and Complexity Theory...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online