| | |
Summary: CMPSCI 401: Formal Language Theory
Course information: Spring 2002
Lecture: TuTh 1:00 - 2:15 in CMPS 140
Lecturer: Professor Micah Adler
Email: micah@cs.umass.edu
OĘce: Computer Science 334
Phone: 577-0233
OĘce hours: Tuesday 4:00 - 5:00, Wednesday 2:30 - 3:30, or by appointment.
Teaching Assistant: Peter Radkov
Email: pradkov@cs.umass.edu
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.
General models of computation.
Provably unsolvable problems.
|
