hw7 - A TM Show that J is neither recognizable nor...

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

View Full Document Right Arrow Icon
CS 181 — Winter 2006 Problem Set #7 Formal Languages Due March 5, 2008 Problem 7.1. (10 points) A useless state in a Turing machine is one that is never entered on any input string. Consider the problem of determining whether a Turing machine has any useless states. Formulate this problem as a language and show that it is undecidable. Problem 7.2. (10 points) Let J = { w | either w = 0 x for some x A TM or w = 1 y for some y
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A TM } . Show that J is neither recognizable nor co-recognizable. Problem 7.3. (10 points) Show that A is decidable i± A ≤ m * 1 * . Show that ≤ m is reflexive and transitive. Show that there is an undecidable subset of 1 * . [Hint: Take any undecidable set in { , 1 } * , and think about each element in the set as a binary number. Encode the number in unary.]...
View Full Document

Ask a homework question - tutors are online