CSE 34151 Theory of Computing: Calendar

Home

Overview
Administration
Calendar
Lecture Notes
Assignments
Links
Change Log
Projects

CSE30151 Theory of Computing Calendar (Subject to Change)

Exams

Exam 1: In Class Tuesday Oct. 3. Finite Automata
Exam 2: In Class Tuesday Nov. 14. PDAs
Final Exam: Friday Dec. 15, 10:30-12:30am.

This week in Theory

Week 14: Nov. 28-Dec. 5

Tuesday:	Complexity The Class P
Thursday:	The Class NP The Class NP-Complete Beyond NP-Complete
Reading:	Chap. 7 Language Class Review Sheet
Assignments	Project 3: Turing Machine Project (version 1) Due Tuesday Dec. 5, 11:59 pm EDT. See directory TestFiles for test files. Homework 7 Due Thursday Nov. 30, 11;59PM. Homework 8 Due Thursday Dec. 7, noon. Project 4. Optional Combinator Project. For reference see Combinators Lecture and Book chapter on Combinators. See directory TestFiles for test files. Deadline midnight Wed Dec. 13
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program TM visual simulator in Excel

Week 13: Nov. 21-23

Tuesday:	Undecidability Universal Turing Machine Undecidable Languages
Thursday:	Thanksgiving
Reading:	4.2,5.1,5.2 Language Class Review Sheet
Assignments	Project 3: Turing Machine Project (version 1) Due Tuesday Dec. 5, 11:59 pm EDT. See directory TestFiles for test files. Homework 7 Due Thursday Nov. 30, 11;59PM. Homework 8 Due Thursday Dec. 7, noon. Project 4. Optional Combinator Project. For reference see Combinators Lecture and Book chapter on Combinators. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program TM visual simulator in Excel

Week 12: Nov. 14-16

Tuesday:	Exam 2 in class
Thursday:	Guest Lecture by TA Josh Siva on Combinators - basis for extra credit project.
Reading:	Book chapter on Combinators
Assignments	Project 3: Turing Machine Project (version 1) Due Tuesday Dec. 5, 11:59 pm EDT. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program TM visual simulator in Excel

Week 11: Nov. 7 - 9

Tuesday:	Continue Variations of Turing Machines on Enumerators Algorithms, Graphs Decidability
Thursday:	Topics for Exam 2 (Exam on Tuesday Nov. 14)
Reading:	Sipser 3.1,3.2,3.3
Assignments	Homework 6 Due Tuesday Nov. 7, 11;59PM. Project 3: Turing Machine Project (version 1) Due Tuesday Dec. 5, 11:59 pm EDT. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program TM visual simulator in Excel

Week 10: Oct. 31-Nov. 2

Tuesday:	Continue Turing Machines
Thursday:	Variations of Turing Machines
Reading:	Sipser 3.1, 3.2, 3.3, 4.1
Assignments	Homework 6 Due Tuesday Nov. 7, 11;59PM. Project 2: Finite Automata Project Due Friday Nov. 3, 11:59 pm EDT. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program TM visual simulator in Excel

Week 9: Oct. 24-26

Tuesday:	Review topics for HW5
Thursday:	Pumping Lemma for CFGs - More Examples Turing Machines
Reading:	Sipser Chap. 2.3, 3.1, 3.2
Assignments	Homework 5 Due Tuesday Oct. 24, 11;59PM. For Problem 6 consider only states q1 thru q4 for conversion. Project 2: Finite Automata Project Due Tuesday Oct., 31, 11:59 pm EDT. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program

Week 8: Oct. 10-12

Tuesday:	CFGs and PDAs - PDA to CFG Pumping Lemma for CFGs
Thursday:	Review Exam 1
Reading:	Sipser Chap. 2.2,2.3
Assignments	Homework 5 Due Tuesday Oct. 24, 11;59PM Project 2: Finite Automata Project Due Tuesday Oct., 31, 11:59 pm EDT. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program

Week 7: Oct. 3-5

Tuesday:	Topics for Exam 1 Homework 1-4 Problem Breakdown
Thursday:	Finish Push Down Automata CFGs and PDAs
Reading:	Sipser Chap. 2.2
Assignments	Homework 5 Due Tuesday Oct. 24, 11;59PM Project 2: Finite Automata Project Due Tuesday Oct., 31, 11:59 pm EDT. See directory TestFiles for test files.
Other	A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program

Week 6: Sept. 26-28

Tuesday:	Finish Context Free Grammars Start Push Down Automata
Thursday:	Review for Test
Reading:	Sipser Chap. 2.1, 2.2
Assignments	Homework 4 all problems but 6 and 8 due Friday Sept. 22, 5:00 pm EDT. (Accidental Post of partial answers Project 1: SAT Solving - Version 3 Due Sept. 28, 11:59 pm EDT. See directory TestFiles for test files.
Other	An excel DFA simulator A Tikz tutorial. Thanks to TA Satyaki Sikdar An on-line point and click State Diagram drawing program

Week 5: Sept. 19-21

Tuesday:	The Pumping Lemma
Thursday:	Context Free Grammars
Reading:	Sipser Chap. 1.4, 2.1
Assignments	Homework 4 all problems but 6 and 8 due Friday Sept. 22, 5:00 pm EDT. (Accidental Post of partial answers Project 1: SAT Solving - Version 2 Due Sept. 28, 11:59 pm EDT. See directory TestFiles for test files.
Other	An excel DFA simulator A Tikz tutorial. Thanks to TA Satyaki Sikdar

Week 4: Sept. 12-14

Tuesday:	Regular Languages completion
Thursday:	The Pumping Lemma
Reading:	Sipser Chap. 1.3, 1.4
Assignments	Homework 3 due Thursday Sept. 14, 11:59 pm EDT Homework 4 due Thursday Sept. 21, 11:59 pm EDT Project 1: SAT Solving - Version 2 Due Sept. 28, 11:59 pm EDT. See directory TestFiles for test files.
Other	An excel DFA simulator A Tikz tutorial. Thanks to TA Satyaki Sikdar

Week 3: Sept. 5-7

Tuesday:	Non-Deterministic Finite Automata
Thursday:	Non-Deterministic Finite Automata completion Regular Languages
Reading:	Sipser Chap. 1.2, 1.3
Assignments	Homework 2 due Thursday Sept. 7, 11:59 pm EDT Homework 3 due Thursday Sept. 14, 11:59 pm EDT Project 1: SAT Solving - Version 2 Due Sept. 28, 11:59 pm EDT. See directory TestFiles for test files.
Other	An excel DFA simulator A Tikz tutorial. Thanks to TA Satyaki Sikdar

Week 2: August 29-31

Tuesday:	Math Background completion of proofs The SAT Problem
Thursday:	Intro to DFAs
Reading:	Sipser Chap. 1.1, 7.4 (V3 p. 299/V2 p. 271)
Assignments	Homework 1 (version 3) due Thursday Aug. 31, 11:59pm EDT Homework 2 due Thursday Sept. 7, 11:59 pm EDT Project 1: SAT Solving - Version 2 Due Sept. 28, 11:59 pm EDT. See directory TestFiles for test files.
Other	An excel DFA simulator A Tikz tutorial. Thanks to TA Satyaki Sikdar

Week 1: August 22

Tuesday:	Instructor Introduction Course Introduction
Thursday:	Math Background up to proofs The SAT Problem
Reading:	Sipser Chap. 0, 7.4 (V3 p. 299/V2 p. 271)
Assignments	Homework 1 due Thursday Aug. 31, midnight Project 1: SAT Solving - Version 1 Due Sept. 28, midnight EDT
Other