381hw11solns

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 Document Right 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 doesn’t 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 Rice’s 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 we’ve already established that L u is. We need to construct a Turing Machine M’...
View Full Document

{[ snackBarMessage ]}

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