CS3800 10F: Homework 07

Assigned: Wed 11-10
Due: Wed 11-17


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

  2. On the first page 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...

    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.


Required: 5 of the following 6 problems
Points: 20 pts per problem

  1. Exercise 5.1. Note, you can use the fact mentioned in class that ALL_CFG is undecidable.
  2. Problem 5.9.
  3. Problem 5.14.
  4. Problem 5.15.
  5. Problem 5.20.
  6. Problem 6.23.