CMPSCI 401: Theory of Computation

David Mix Barrington

Spring, 2010

Homework Assignment #5

Posted Sunday 4 April 2010

Due on paper in class, Friday 16 April 2010

There are sixteen questions for 100 points plus 20 extra credit. All are the textbook, Introduction to the Theory of Computation by Michael Sipser (second edition). The number in parentheses following each problem is its individual point value.

Students are responsible for understanding and following the academic honesty policies indicated on this page.

• Problem 6.22 (5) (Hint: Use 6.23 below and derive a contradiction.)

• Problem 6.23 (5) (Hint: Use 6.24 below and derive a contradiction.)

• Problem 6.24 (10) (Hint: Apply the Richard paradox and derive a contradiction from the negation of the given statement.

• Exercises 7.1 and 7.2 (5) Omit the solved parts.

• Exercise 7.3 (5)

• Exercise 7.6 (5)

• Exercise 7.9 (5)

• Exercise 7.10 (5)

• Exercise 7.14 (10)

• Problem 7.19 (5)

• Problem 7.20 (15)

• Problem 7.30 (10)

• Problem 7.34 (5)

• Problem 7.37 (10XC)

• Problem 7.42 (10XC)

• Problem 7.43 (10)

Last modified 4 April 2010