CS 507 Home Page, Spring 2004

Welcome to the home page for CS 507, Introduction to Formal Languages and Automata. CS 507 meets Tuesdays and Thursdays from 1:00 to 2:30 PM in Cupples II 217. On this web site, you will find course information, handouts, and assignments. The site will periodically be updated to communicate course developments to the class.

Your instructor is Dr. Jeremy Buhler. Please see the course overview for a list of TAs.

Announcements

5/11/2004

This should be the final posting of the semester. The grading is done, and final course grades have been submitted to SEAS. See the newsgroup for curve information and the distribution of final grades.

If you have a Pendaflex, everything I still have from you has been distributed to it. Otherwise, you will get email from me reminding you to pick up your stuff.

Here are Exam 2 solutions if you are interested.

Finally, please note that this web site will disappear some time over the summer because of the Great CSE Course Renumbering. Starting next year, CS507T will become CSE547T.

Course Handouts and Other Documentation

• Course Overview (PDF)
• Collaboration Policy (PDF)
• Course Outline
• Course Calendar (updated)
• Office Hours
• Handouts
• Homeworks

Note: course materials are provided either in HTML or in Adobe PDF format. To read PDF files, you can use any of Ghostview/GV/GSView, XPdf, or Adobe's free PDF Reader.