Prof. Stewart Weiss, Department of Computer Science, Hunter College

Course Documents

• Contact Information and Course Requirements
• Syllabus
• Rules Governing Assignments

Lecture Notes

• Unsolvability Notes
• Notes on Kleene's Theorem
• Proving Regularity and Non-regularity of languages: The Pumping Lemma and Myhill-Nerode Theorem

Assignments and Exams

• Assignments
• Comments on Assignment 1
• Comments on Assignment 2
• Sample Questions for the First Exam
• Solutions to Assignment 5
• Solutions to Assignment 7
• Second Exam Topics and Sample Questions