Five College Consortium

Formal Language Theory

Semester: 
Spring
Year: 
2018
Subject Name: 
Computer Science
Course Number: 
501
Institution: 
UMass Amherst
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.
Comments: 
Open to undergraduate Computer Science majors who received a grade of C or better in COMPSCI 311. LECT 01 FOR UNDERGRADS; LECT 02 FOR GRADS. IT IS RECOMMENDED THAT UNDERGRADUATE STUDENTS HAVE A B- OR BETTER IN COMPSCI 311 IN ORDER TO ATTEMPT 501. SEATS HELD IN LECT 02 FOR INCOMING STUDENT REGISTRATION.CS MINORS, APPLICANTS-ON-CONTRACT, AND OTHERS NOT MEETING ELIGIBILITY, OR STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.
Instructor Permission: 
Permission is required for interchange registration during all registration periods.
Crosslisted Section ID: 
55481
Schedule #: 
55423

Course Sections

Formal Language Theory
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 3.0 Neil Immerman M W F 11:15AM 12:05PM