CMSC 452: Elementary Theory of Computation

Spring 2017 HOMEPAGE

The Syllabus is in two parts:

HW01 (Morally Due Feb 7)

HW02 (Morally Due Feb 14)

HW03 (Morally Due Feb 21)

PROJECT ONE (Morally Due Mar 14)

HW04 (Morally Due Feb 28)

HW04SOL (Morally Due Feb 28)

HW05 (Morally Due Mar 7)

HW05SOL (Morally Due Mar 7)

HW06 (Morally Due Mar 14)

HW07 (DUE DUE Mar 28)

HW08 (Morally DUE Apr 11)

PROJ TO AVOID A D (DUE the day of Final)

PROJECT TWO (Morally Due April 25)

HW09 (Morally DUE Apr 18)

HW10 (Morally DUE Apr 25)

HW11 (Morally DUE May 2)

HW12 (Morally DUE May 9)

clever (Clever proofs of closure of DFA's under concat and *.)

Rijk (Notes on the R(i,j,k) algorithm)

Closure (Summary of Closure Properties and some proofs)

Turing Machines, Time and Space Classes