CSU390 03F: Homework 06

Created: Mon 10 Nov 2003
Last modified: 

Assigned: Mon 10 Nov 2003
Due: Fri 14 Nov 2003 (by 5pm, in my office or departmental mailbox)

General Instructions

  1. Please review the grading policy outlined in the course information page.

  2. On the first page of each part of your solution write-up, you must make explicit which problems are to be graded for "regular credit", which problems are to be graded for "extra credit", and which problems you did not attempt. Please use a table something like the following

    Problem01020304 0506070809...
    CreditRCRCRCECRC RCNARCRC...

    where "RC" is "regular credit", "EC" is "extra credit", and "NA" is "not applicable" (not attempted). Failure to do so will result in an arbitrary set of problems being graded for regular credit, no problems being graded for extra credit, and a five percent penalty assessment.

  3. You must also write down with whom you worked on the assignment. If this changes from problem to problem, then you should write down this information separately with each problem.

Problems

Required: 3 of the following 4 problems
Points: 30 pts per problem

  1. Exercise 3.9

    Hint: For part (a), show that 2-PDAs can simulate Turing Machines, and for part (b), show that Turing Machines can simulate 3-PDAs. (For the latter part, you will likely need multi-tape Turing Machines, which can themselves be simulated by ordinary Turing Machines.)

  2. Exercise 3.14 (a,d,e)

    Hint: You may use multi-tape Turing Machines which we have proven to be equivalent in power to ordinary Turing Machines.

  3. Exercise 3.14 (b,c)

    4. Hint: You may use multi-tape Turing Machines which we have proven to be equivalent in power to ordinary Turing Machines.

  4. Let N be the set of natural numbers; i.e., N = {1, 2, 3, ...}. Prove, by diagonalization, that the cardinality of the power set of N is greater than the cardinality of N; i.e., |2N| > |N|.

    5. (Hint: Let X be the ordered set {a, d, k, z}. Then one can denote the subset Y = {a, k, z} by the sequence 1011; each "1" indicating that the corresponding element from the original set is present in the subset, and each "0" indicating that the corresponding element is absent.)

Switch to:

jaa@ccs.neu.edu