UMBC CMSC 651, Automata Theory & Formal Languages, Spring 2005, Section 0101

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.
HW1 assigned 02/01 due 02/08
HW2 assigned 02/08 due 02/15
HW3 assigned 02/15 due 02/22
Test 1 in class 02/24


II. Turing Machines and Computability: 5 weeks, Chapters 3-6.
HW4 assigned 03/01 due 03/08
HW5 assigned 03/08 due 03/15
HW6 assigned 03/29 due 04/05
Test 2 in class 04/12


III. Complexity Theory: 5 weeks, Chapters 7-10.
HW7 assigned 04/12 due 04/19
HW8 assigned 04/19 due 04/26
HW9 assigned 04/26 due 05/03
Test 3 in class 05/10
HW10 assigned 05/10 due 05/17


Final Exam: Friday May 20, 10:30am - 12:30pm, ITE 346.


Last modified: 19 Apr 2005 11:08:49 EDT by Richard Chang, chang@umbc.edu
to Spring 2005 CMSC 651 Homepage