| | |
Summary: CMPSCI 401: Formal Language Theory
Course information: Spring 2001
Lecture: TuTh 1:00 - 2:15 in ELAB 305
Lecturer: Professor Micah Adler
Email: micah@cs.umass.edu
OÆce: Computer Science 334
Phone: 577-0233
OÆce hours: Tuesday 3:00 - 4:00, Wednesday 2:30 - 3:30, or by appointment.
Teaching Assistant: William Hesse
Email: whesse@cs.umass.edu
OÆce hours: Monday 4:00 - 5:00, Thursday 4:00 - 5:00.
Room for oÆce hours: TBA.
Description: This course provides an introduction to the mathematical classi cation of compu-
tational problems as solvable or unsolvable, and as easy or diÆcult.
Textbook: Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, 1997.
Prerequisites: CMPSCI 250 and 311 or permission of instructor.
Web page: http://www.cs.umass.edu/ micah/cs401/. Homeworks will be available there.
Syllabus:
Review of nite state machines and regular languages.
Introduction to context-free languages and pushdown automata.
|
