Assignments

Assignment 0, due September 30, 2004

All problems are from Sipser:

1. Sipser 0.1 d,e,f
2. 0.2 d,e,f
3. 0.3 f
4. 0.6 e
5. 0.7
6. 0.8

Assignment 1, due October 5, 2004

1. 0.10
2. 0.11
3. 1.3
4. 1.4 h,k,l,m,n
5. 1.11
6. 1.24

Assignment 2, due October 12, 2004

1. Sipser 1.12 b
2. 1.16 a
3. 1.17 a
4. 1.34
5. 1.35

Assignment 3, due October 19, 2004 (revised due October 21, 2004)

1. Sipser 2.2
2. 2.17 a,b
3. 2.18 a,b
4. 2.20
5. 2.26 [If this problem is assigned in the future a hint should be given.]

Assignment 4, due October 28, 2004

1. Sipser 3.6
2. 3.16 [Hint: Do exercise 3.6 first. To solve this problem you must construct an in-order enumerator from a decider and a decider from an in-order enumerator. I recommend doing explicit constructions for both directions. The construction of the in-order enumerator can fail if the machine is not a decider. If you find it helps you may assume that the language is infinite.]
3. 4.7
4. 4.11
5. 4.18

Midterm Exam

The midterm exam is downloadable here. It is a pdf file.

Assignment 5, due November 23, 2004 (postponed to November 30, 2004)

Assignment 5 is downloadable here. It is a pdf file. There are some hints available here. Partial solution here.

Assignment 6, due November 30, 2004

Download here.