==== CS 240 Schedule ====

//Slides for each week's lectures are available by clicking on the topic for that week.//

The following schedule roughly estimates the day we will cover given material and is subject to change. You are responsible for keeping yourself informed of the possible evolution in content and schedule. The assigned readings should be read before the corresponding class. You are responsible for keeping up with the reading and for all material covered in class (some of which may not be in the book). This includes classnotes, assignments, handouts, additional readings, etc. If you miss a class for any reason you are responsible for making arrangements with classmates to provide you with all information disseminated in class that day.

^Week^Topic^Reading^Assignment^
|8/31| [[http://www.cs.vassar.edu/~cs240/lectures/introduction.pdf | Review of mathematical concepts and proof techniques]] [[http://www.cs.vassar.edu/~cs240/lectures/introduction.pptx |(PPT)]]|Ch. 0| |
|9/9| [[http://www.cs.vassar.edu/~cs240/lectures/finite-automata.pdf | Finite 
automata]] [[http://www.cs.vassar.edu/~cs240/lectures/finite-automata.pptx | (PPT)]]|Ch. 1.1, 1.2|[[http://www.cs.vassar.edu/~cs240/assignments/assn01.pdf | A1]]  [[http://www.cs.vassar.edu/~cs240/solutions/assn01-solution.pdf | S1]] | 
|9/16| [[http://www.cs.vassar.edu/~cs240/lectures/regular-expressions.pdf | Regular Expressions]] [[http://www.cs.vassar.edu/~cs240/lectures/regular-expressions.pptx | (PPT)]]|Ch. 1.3| [[http://www.cs.vassar.edu/~cs240/assignments/assn02.pdf | A2]]  [[http://www.cs.vassar.edu/~cs240/solutions/assn02-solution.pdf | S2]] |
|9/23| [[http://www.cs.vassar.edu/~cs240/lectures/pumping-lemma-regular.pdf | Pumping Lemma, Non-regular languages]] [[http://www.cs.vassar.edu/~cs240/lectures/pumping-lemma-regular.pptx |  (PPT)]]|Ch. 1.4|[[http://www.cs.vassar.edu/~cs240/assignments/assn03.pdf | A3]]  [[http://www.cs.vassar.edu/~cs240/solutions/assn03-solution.pdf | S3]] |
|9/30| Exam I Review [[http://www.cs.vassar.edu/~cs240/exams/examI-review-sheet.pdf | Review sheet ]][[http://www.cs.vassar.edu/~cs240/lectures/broken-regular-pl-proofs.pdf |  Broken PL proofs]][[http://www.cs.vassar.edu/~cs240/lectures/more-PL-proofs.pdf |  More PL proofs ]]|-- | [[http://www.cs.vassar.edu/~cs240/exams/examI-15a-solution.pdf | E1-S]]|
|10/7|[[http://www.cs.vassar.edu/~cs240/lectures/CFGs.pdf | Context-free grammars]] [[http://www.cs.vassar.edu/~cs240/lectures/CFGs.pptx |  (PPT)]]| Ch. 2.1| |
|10/19|[[http://www.cs.vassar.edu/~cs240/lectures/CFG-PDA.pdf | Pushdown Automata]] [[http://www.cs.vassar.edu/~cs240/lectures/CFG-PDA.pptx |  (PPT)]]|Ch. 2.2| [[http://www.cs.vassar.edu/~cs240/assignments/assn04.pdf | A4]] [[http://www.cs.vassar.edu/~cs240/solutions/assn04-solution.pdf | S4]]|
|10/26|[[http://www.cs.vassar.edu/~cs240/lectures/cfl-pumping-lemma.pdf | Non-context-free languages]] [[http://www.cs.vassar.edu/~cs240/lectures/cfl-pumping-lemma.pptx |  (PPT)]]|Ch. 2.3|[[http://www.cs.vassar.edu/~cs240/assignments/assn05.pdf | A5]]  [[http://www.cs.vassar.edu/~cs240/solutions/assn05-solution.pdf | S5]]  |
|11/2| [[http://www.cs.vassar.edu/~cs240/lectures/CFL-closure-properties.pdf | CFL closure properties]] [[http://www.cs.vassar.edu/~cs240/lectures/CFL-closure-properties.pptx |  (PPT)]]|--|  |
|11/9|Exam II Review: [[http://www.cs.vassar.edu/~cs240/exams/examII-review-sheet.pdf | Exam topics ]] [[http://www.cs.vassar.edu/~cs240/lectures/CFG-PDA-worksheet.pdf | CFG-PDA in-class worksheet ]]|-- |[[http://www.cs.vassar.edu/~cs240/exams/examII-15a-solution.pdf | E2-S]] | 
|11/16|[[http://www.cs.vassar.edu/~cs240/lectures/turing_machines.pdf | Turing machines]][[http://www.cs.vassar.edu/~cs240/lectures/turing_machines.pptx |  (PPT)]]|Ch. 3.1, 3.2, 3.3|[[http://www.cs.vassar.edu/~cs240/assignments/assn06.pdf | A6]] [[http://www.cs.vassar.edu/~cs240/solutions/assn06-solution.pdf | S6]] | 
|11/23|[[http://www.cs.vassar.edu/~cs240/lectures/decidability.pdf | Decidability]] [[http://www.cs.vassar.edu/~cs240/lectures/decidability.pptx |  (PPT)]]|Ch. 4.1, 4.2| [[http://www.cs.vassar.edu/~cs240/assignments/assn07.pdf | A7]] [[http://www.cs.vassar.edu/~cs240/assignments/assn07-solution.pdf | S7]]|
|11/30|[[http://www.cs.vassar.edu/~cs240/lectures/reductions.pdf | Reductions]] [[http://www.cs.vassar.edu/~cs240/lectures/reductions.pptx |  (PPT)]][[http://www.cs.vassar.edu/~cs240/lectures/reductions-help.html | Reduction Help]]|Ch. 5.1, 5.2|[[http://www.cs.vassar.edu/~cs240/assignments/assn08.pdf | A8]] [[http://www.cs.vassar.edu/~cs240/assignments/assn08.tex | Latex]] |
|12/7| Exam III Review [[http://www.cs.vassar.edu/~cs240/exams/ExamIII_topics.html| Exam III topics ]][[http://www.cs.vassar.edu/~cs240/lectures/decidability-reductions-worksheet.pdf | Decidability in-class worksheet]]| |--| |
|12/10| Exam III, 1PM-4PM 105 SP |--| |