Computer Science 401 - Formal Language Theory
Spring
2013
01
3.00
David Barrington
M W F 1:25PM 2:15PM
UMass Amherst
13686
Introduction to formal language theory. Topics include finite state languages, context-free languages, the relationship between language classes and formal machine models, the Turing Machine model of computation, theories of computability, resource-bounded models, and NP-completeness. It is recommended that students have a 'B-' or better in CMPSCI 311 in order to attempt CMPSCI 401.
Pre Req: CMPSCI 311 w/C An optional honors colloquium is available for this course.