UMBC CMSC651, Automata Theory & Formal Languages, Spring 1999

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: 4 weeks, Chapters 0-2.
HW1assigned 02/02due 02/09
HW2assigned 02/09due 02/16
HW3assigned 02/16due 02/23
Review 1assigned 02/25due 03/04

II. Turing Machines and Computability: 5 weeks, Chapters 3-6.
HW4assigned 03/09due 03/16
HW5assigned 03/16due 03/30
HW6assigned 03/30due 04/06
Review 2assigned 04/08due 04/15

III. Complexity Theory: 5 weeks, Chapters 7-10.
HW7assigned 04/20due 04/27
HW8assigned 04/27due 05/04
HW9assigned 05/04due 05/11
Review 3assigned 05/13due 05/20


Last Modified: 26 Jan 1999 14:05:09 EST by Richard Chang, chang@umbc.edu