725-hw3-sp-06

725-hw3-sp-06 - A ≤ m A TM . 3. Show that NotE TM ≤ m...

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

View Full Document Right Arrow Icon
CSE 725 — Spring, 2006 Homework 3 Due: Friday, May 5 (start of class) 1. If you have the 1 st edition of the textbook do problems 5.12 and 5.13. If you have the 2 nd addition of the textbook do problems 5.9 and 5.13. 2. Show that A is Turing-recognizable if and only if
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 ≤ m A TM . 3. Show that NotE TM ≤ m HALT TM , where NotE TM = { M L ( M ) ≠ ∅ } . 4. Show that HALT TM ≤ m NEQ TM , where NEQ TM = { M i , M j L ( M i ) ≠ L ( M j ) } ....
View Full Document

This note was uploaded on 04/13/2010 for the course CSE 725 taught by Professor Long during the Spring '08 term at Ohio State.

Ask a homework question - tutors are online