Computer Science 501 - Formal Language Theory
Spring
2020
02
3.00
Neil Immerman
M W F 11:15AM 12:05PM
UMass Amherst
41435
Integ. Learning Center S140
immerman@cs.umass.edu
41384
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 COMPSCI 311 in order to attempt COMPSCI 501.
MS-CMPSCI students only LECT 01 FOR UNDERGRADS; LECT 02 FOR GRADS. SEATS HELD FOR INCOMING GRAD STUDENT REGISTRATION. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.
https://spire.umass.edu