hw7 - University of Central Florida School of Computer...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
University of Central Florida School of Computer Science COT 4210 Spring 2004 Prof. Rene Peralta Homework 7 Due date: April 19 1. The following is a hierarchy of subsets of IN . regular j CFL j recursive j re. j P ( IN ) Show that the hierarchy is proper by giving examples of sets contained in each level but not in the next one. 2. In this question, let M be a Turing machine which takes as input a positive integer i and outputs (if it halts) a positive integer M ( i ). Denote by L M the language { M ( i ) | i = 1 , 2 , 3 , . . . } . Answer True or False (no need to justify your answer, do so at your own peril). Score is +1 for correct answer, -1 for incorrect answer. (a) It is always true that the language L M is recursive. (b) The set of languages over { 0 , 1 } recognized by C programs is countable. (c) There exists a language recognized by M but not recognized by any Finite Automaton. (d) Let H be the language composed of Turing machine represen- tations which halt iff the input is an even number. Then
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 06/09/2011 for the course COT 4210 taught by Professor Staff during the Spring '08 term at University of Central Florida.

Page1 / 2

hw7 - University of Central Florida School of Computer...

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