CMPSCI 601: Theory of Computation

Offered through the PEEAS distance learning program

Homework Assignment #4

David Mix Barrington

Assignment posted Sat 25 Oct 2003

Due Wed 5 Nov 2003, to the Grade Grinder by 11:59 p.m.

Make sure you have read the statement on academic honesty on the homework assignment index page.

All these questions are from Language, Proof and Logic and are to be submitted electronically according to the instructions in the book. (Give my email, "barring@cs.umass.edu", as the instructor's address.) Each question is worth five points. Let me know if you have any problems with the software -- previous off-campus students have all used it successfully.

• Chapter 1: 1.4

• Chapter 2: 2.20

• Chapter 3: 3.20

• Chapter 4: 4.24

• Chapter 6: 6.12, 6.32

• Chapter 8: 8.27, 8.36. 8.47

• Chapter 9: 9.9, 9.16, 9.18

• Chapter 10: 10.27

• Chapter 11: 11.16, 11.26

• Chapter 13: 13.8, 13.15, 13.16, 13.23, 13.50

Last modified 25 October 2003