CMPSCI 401: Theory of Computation

Solutions to Final Exam, Spring 2009

David Mix Barrington

25 May 2009

Directions:

Question text is in black, solutions in blue.

  Q1: 10 points
  Q2: 10 points
  Q3: 10 points
  Q4: 10 points
  Q5: 10 points
  Q6: 10+15 points
  Q7: 30 points
  Q8: 30 points

  Total: 120+15 points

The following formal languages are each used in one or more problems: