Theory of Computation	CS345
Haverford College	Spring 2002
Relevant Links	John Dougherty

• Course Home
• Syllabus
• [KS] textbook errata
• Theorectical Machine Simulators (maintained by Bill Yurcik, Illinois Wesleyan University)
• Problem Sets from [KS] unless otherwise noted
  • Assignment 0 (due January 25):
    • 1.3
    • 1.4 d
    • 1.6
    • 1.7
  • Assignment 1 (due February 1):
    • 2.1
    • 2.4
    • 2.6
    • 2.9
  • Assignment 2 (due February 8):
    • 2.11 a, c
    • 2.12
    • 2.13 (similar to class proof)
    • 2.14 c
    • 2.15 b, c, e
    • 2.16 b - d, f - i
    • 2.19 b, d
    • 2.20
    • 2.22 a, c
  • Assignment 3 (due February 15)
    • 2.25 b, d
    • 2.26 a, c, e
    • 2.27 b, d
    • 2.34 & 2.35 b, c
  • Assignment 4 (due February 22)
    • 3.3 a, b
    • 3.5 a
    • 3.9 b
    • 3.11
    • 3.13 a
    • 3.21 a, b
    • 3.22
    • 3.29
  • Assignment 5 (due March 8)
    • 3.37 a
    • 3.38 b, c
    • 3.39 b
    • 3.40 b
    • 3.41 b
    • 3.42 b
    • 3.44
  • Assignment 6 (due March 29)
    • 4.4
    • 4.5 d
    • 4.9
    • 4.11
  • Assignment 7 (due April 15)
    • 4.19 b, d
    • 4.24 a
    • 5.4 b
    • 5.5 c
    • 5.6 a, e
  • Assignment 8 (due April 24)
    • 6.5 b, c
    • 6.7
    • 6.8
    • 6.9