Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

CMPSCI 401: Formal Language Theory Course information: Spring 2002

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.
 Review of nite state machines and regular languages.
 Introduction to context-free languages and pushdown automata.
 General models of computation.
 Provably unsolvable problems.


Source: Adler, Micah - Department of Computer Science, University of Massachusetts at Amherst


Collections: Computer Technologies and Information Sciences