The practice final exam is now available, as are its solutions.

As previously mentioned, all proofs on the final exam will be on material covered after the midterm, although there may be high-level T/F questions about language classes studied earlier in the course.

If you鈥檙e wondering what to expect on the final, consider looking at this class鈥檚 course objectives. This document outlines what students should be able to do by the end of the term.

All proofs on the final exam will be taken from sections 3 and 4. However, these questions may require knowledge from the previous sections. There may also be T/F questions about the language classes studied in sections 1 and 2.

A practice final will be following shortly, and will be given out in class on 5/31.

If you鈥檙e looking for an example of the sorts of questions you can expect on Thursday鈥檚 midterm, a short practice test is available here.

Solutions are available here.

In the original version, the proof that 0n1n0n was not context-free was missing a case. This has now been rectified.

If you downloaded the notes to study, be sure to pull down a fresh copy.

This site is very much a work in progress. Expect it to get both prettier and more functional over the first week or two.

Announcements should show up on this home page when I have something important to say. Until then, have a look at the syllabus and the tentative schedule.