This is the home page for CMPSCI 501. CMPSCI 501 is an advanced undergraduate/master's-level core course in the theory of computation and will deal with formal language theory (finite automata, regular languages, grammars, and pushdown automata), computability theory, and complexity theory.

This is essentially the same course that was called CMPSCI 401 until Spring 2014. Beginning with that semester it counts as a theory core course for M.S. students in computer science, as well as an upper-level undergraduate elective and a required course in the BS-CMPSCI Theory of Computation track. This course fulfills any requirements previously satisfied by CMPSCI 401.

**Instructor Contact Info:**
David Mix Barrington, 210 CMPSCI
building, 545-4329, office hours for Spring 2017 Tuesday 11-12,
Thursday 2-3, Friday 2:30-3:30 (but not 27 January).

I generally answer my email fairly reliably.

**TA Contact Info:** Clemens Rosenbaum,
cgbr@cs.umass.edu.
Office hours TBA.

The course is primarily intended for undergraduates in computer science and related majors such as mathematics or computer engineering, for master's students in computer science, and for graduate students in other fields with the appropriate background and interest. CMPSCI 311 (theory of algorithms) is the primary prerequisite, though this may be negotiable for students with a strong mathematics background. The mathematical techniques taught in CMPSCI 250 (or similar courses like MATH 300 or MATH 455) will be used heavily. No programming will be assigned, but familiarity with programming at the level of at least CMPSCI 187 (data structures) will sometimes be assumed. This is probably the mathematically most difficult course in the CMPSCI undergraduate curriculum. It is a semi-elective course -- it fills requirements for any CMPSCI major and many MATH majors, but should be taken only by students whose mathematical ability and/or motivation is average or above relative to CMPSCI majors.

The textbook for the course is Introduction to the Theory of Computation by Michael Sipser, *second
edition*. This is a very good book: I will be following it very closely
for my lectures, and it is a very good long-term reference, but it is rather
expensive. The first edition is available more cheaply, and the main text of
the two is virtually identical, but the second edition will be the source of
the problems I assign and it has a large number of solved exercises.
(There is also a new third edition -- you may get that instead of the
second, but it only differs primarily in having a new section on CFL's
that I won't be using.) The book information has been posted on
SPIRE, and thus the University's Amazon textbook entity has copies of the book
available.

The course will meet for three lecture meetings a week, MWF 11:15-12:05 in ELAB 304. There is no formal attendance requirement but there will be occasional graded in-class activities.

The course will use the Moodle course management system, and much course material will be available only there.

**Announcements (16 January 2017):**

- (16 Jan) The syllabus/schedule and course requirements pages are now up.
- (12 Jan) This area of the main course page will serve as a blog and will be my medium for communications with students that I want to archive for the public. The primary medium for communication will be the Moodle site. I've set up the basic components of the public web site today and will try to have the syllabus/schedule and course requirements up by tomorrow. In most respects the course will operate very much like the Spring 2016 version -- the web site for that is still up, here.

Last modified 27 January 2017