381hw11solns - CS381 Homework 11: Problem 1 Prove that the...

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

View Full Document Right Arrow Icon

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

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

Unformatted text preview: CS381 Homework 11: Problem 1 Prove that the halting problem for Turing machine is undecidable. We can think of the Turing machine for the following pseudocode. The function halt takes two para- meters as input. The first parameter is a program and the second is the argument to that program. We send breakHalt in as the argument to itself. The program therefore says that if breakHalt doesnt halt then we are done, otherwise we loop forever. This creates a contradiction, therefore the halting problem is undecidable. function breakHalt(string s) if halt(s, s) = false return true else loop forever 1 Rices Theorem: Every nontrivial property of the RE languages is undecidable. Proof: Assume , the empty language is not in the nontrivial property P. Let L be a nonempty language in P and M L be a Turing Machine accepting L. Explanation: The reduction from L u to L P will be sufficient in proving L P is undecidable since weve already established that L u is. We need to construct a Turing Machine M...
View Full Document

Page1 / 4

381hw11solns - CS381 Homework 11: Problem 1 Prove that the...

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

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