sample-t3 - COT 6315/CIS 4930(Fall05,Sitharam Sample Test 3...

Info iconThis preview shows pages 1–2. 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: COT 6315/CIS 4930 (Fall05,Sitharam) Sample Test 3 and rough solutions – for detailed solutions, especially proofs, visit TA’s office hours. Note also that this sample test does not cover stuff like hierarchy theorems, and general containments between deterministic and nondeterministic time classes – they are however required syllabus for the actual test 1. Classify the following languages as being: both r.e. and co-r.e; (co-)r.e but not enough information to tell where its complement is; r.e but not co-r.e; co-r.e, but not r.e; or neither r.e nor co-r.e. In all cases, fully justify your answer (the concept of reductions would be useful in some cases). NOTE 1: If the question concerns an entire class of languages G , your upper bound C should hold for the entire class G ; for the lower bound D , give the largest D that does not contain at least one member of the class G . I.e., you are lowerbounding the complexity of the most difficult set in the class G ....
View Full Document

{[ snackBarMessage ]}

Page1 / 2

sample-t3 - COT 6315/CIS 4930(Fall05,Sitharam Sample Test 3...

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

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