CMPSCI 401: Theory of Computation

Final Exam Solutions, Spring 2010

David Mix Barrington

19 May 2010

Directions:

  Q1: 10 points
  Q2: 10 points
  Q3: 10 points
  Q4: 10 points
  Q5: 10 points
  Q6: 30 points
  Q7: 20 points
  Q8: 25 points

  Total: 125 points

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