UMBC CMSC651, Automata Theory & Formal Languages, Spring 2000

Course Syllabus


The following schedule is a rough outline of the material to be covered during the semester. The chapters indicated are from Introduction to the Theory of Computation, by Michael Sipser.

I. Automata and Languages: 3 weeks, Chapters 0-2.
HW1assigned 02/01due 02/08
HW2assigned 02/08due 02/15
HW3assigned 02/15due 02/22
Review 1assigned 02/24due 03/02

II. Turing Machines and Computability: 6 weeks, Chapters 3-6.
HW4assigned 03/07due 03/14
HW5assigned 03/14due 03/28
HW6assigned 03/28due 04/04
Review 2assigned 04/06due 04/13

III. Complexity Theory: 5 weeks, Chapters 7-10.
HW7assigned 04/18due 04/25
HW8assigned 04/25due 05/02
HW9assigned 05/02due 05/09
Review 3assigned 05/11due 05/18


Last Modified: 28 Jan 2000 19:42:35 EST by Richard Chang, chang@umbc.edu