This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Harvard CS 121 and CSCI E207 Lecture 16: Reductions Harry Lewis November 5, 2009 • Reading: Sipser Ch. 5 Harvard CS 121 & CSCI E207 November 5, 2009 “CoX” • For any property X that a set might have, a set S is coX iff S has property X. • For example, a cofinite set of natural numbers is a set that is missing only a finite number of elements. • A coregular language is . . . ? • A corecursive language is . . . ? • What about a coCF language? • Proved last time: • A language is recursive if and only if it is both r.e. and cor.e. 1 Harvard CS 121 & CSCI E207 November 5, 2009 Nonr.e. Languages Theorem: The following cor.e. languages are not r.e.: • A TM = {h M,w i : M does not accept w } • HALT TM = {h M,w i : M does not halt on w } • HALT ε TM = {h M i : M does not halt on ε } Proof: If these languages were r.e., then A TM , HALT TM , and HALT ε TM would be both r.e. and cor.e. and hence recursive. 2 Harvard CS 121 & CSCI E207 November 5, 2009 Is it possible to determine, given a TM M , whether M accepts a finite or infinite set? • Let A infinite = {h M i : L ( M ) is infinite } . Is A infinite recursive?...
View
Full Document
 Fall '09
 Recursion, CSCI E207, Harvard CS

Click to edit the document details