Reduction

Reduction - 1. Consider the set of indices DEFINED = cfw_ f...

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

View Full Document Right Arrow Icon
1. Consider the set of indices DEFINED = { f | 5 x ϕ f (x) }. Use Rice’s Theorem to show that DEFINED is not decidable. Hint: There are two properties that must be demonstrated. 2. Let P = { f | 5 x ϕ f (x) converges in at most x steps }. Why does Rice’s theorem not tell us anything about the undecidability of P? 3. Show that DEFINED is not decidable by reducing K 0 to this set. 4. Is DEFINED re? Support your conclusion.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.
Ask a homework question - tutors are online