This preview shows page 1. Sign up to view the full content.
Unformatted text preview: b) The class of contextfree languages is closed under homomorphism. c) The class of contextfree languages is closed under inverse homomorphism. 5. Prove that the halting problem for Turing machines, }  ) , {( x input on halts M x M , is undecidable. 6. For each of the following conditions, give an example of a set or prove that no such set exists. a) Both the set and its complement are recursive. b) The set is recursive but its complement is not. c) The set is recursively enumerable and its complement is recursive. d) The set is recursively enumerable and its complement is also recursively enumerable. e) The set is recursively enumerable but its complement is not recursively enumerable. f) Neither the set nor its complement are recursively enumerable....
View
Full
Document
This note was uploaded on 05/19/2008 for the course COM S 381 taught by Professor Hopcroft during the Fall '05 term at Cornell.
 Fall '05
 HOPCROFT

Click to edit the document details