Overview
Administration
Calendar
Lecture Notes
Assignments
Links
Change Log
Projects

  CSE34151 Theory of Computing Calendar (Subject to Change)

Exams

  • Exam 1: In Class Thursday March 1. Finite Automata
  • Exam 2: In Class Thursday April 5
  • Final Exam: In Class Sunday May 6

Week 14: April 24-26

Tuesday: The Class NP
Dial in using Prof. Thain's zoom
Thursday: The Class NP Complete
Class Video
Reading: Book 7.3, 7.4
Table of Languages
Assignments Homework 8 version 1 due Monday April 23 11:59pm
Project 3 initial version posted. Due Monday April 30, 11:59pm. Test Files
Extra Credit initial version posted. Due Friday May 4, 11:59pm. Available sensors
Other A simple spreadsheet TM simulator. See the Instructions Tab for details. You are free to use this for practice, homework, and/or checking out 1-tape TM designs for project 3. For homework, a printout of a sheet with a working design is sufficient.
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 13: April 17-19

Tuesday: Reducibility: The Halting Problem and Undecidable Languages
Thursday: Universal Turing Machine
Complexity
The Class P
Reading: Book 5.1, 5.2, 5.3, 7.1, 7.2
Table of Languages
Assignments Homework 7 version 2 due Monday April 16 11:59pm
Homework 8 version 1 due Monday April 23 11:59pm
Project 3 initial version posted. Due Monday April 30, 11:59pm. Test Files
Extra Credit initial version posted. Due Friday May 4, 11:59pm. Available sensors
Other A simple spreadsheet TM simulator. See the Instructions Tab for details. You are free to use this for practice, homework, and/or checking out 1-tape TM designs for project 3. For homework, a printout of a sheet with a working design is sufficient.
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 12: April 10-12

Tuesday: Algorithms and TMs
Decidability
Thursday: Undecidability
Reading: Book 3.3, 4.1, 4.2
Table of Languages
Assignments Homework 7 version 2 due Monday April 16 11:59pm
Project 3 initial version posted. Due Monday April 30, 11:59pm
Extra Credit initial version posted. Due Friday May 4, 11:59pm.
Other A simple spreadsheet TM simulator. See the Instructions Tab for details. You are free to use this for practice, homework, and/or checking out 1-tape TM designs for project 3. For homework, a printout of a sheet with a working design is sufficient.
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 11: April 3-5

Tuesday: Review Topics for Exam 12 (Book 2.1-2.3 and 3.1). Material from 3.2 and SAT will be on Final
Thursday: Exam 2
Reading: Book 2.1-2,3, 3.1
Assignments Homework 6 version 1 due Monday April 2 11:59pm PST. Note the simple spreadsheet TM simulator may be used here.
Project 3 initial version posted. Due Monday April 30, 11:59pm
Extra Credit initial version posted. Due Friday May 4, 11:59pm.
Other A simple spreadsheet TM simulator. See the Instructions Tab for details. You are free to use this for practice, homework, and/or checking out 1-tape TM designs for project 3. For homework, a printout of a sheet with a working design is sufficient.
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 10: March 27-29

Tuesday: Variations of Turing Machines
Class video
Thursday: Algorithms - SAT
Class video 1st part
Class video 2nd part - skip 1st 2 min (blank)
Class video 3rd part - skip 1st min (blank)
Reading: Book Section 3.2, 3.3
Assignments Homework 6 version 1 due Monday April 2 11:59pm PST. Note the simple spreadsheet TM simulator may be used here.
Homework 5 version 1 due Monday March 26 11:59pm PST
Project 3 initial version posted. Due Monday April 30, 11:59pm
Extra Credit initial version posted. Due Friday May 4, 11:59pm.
Other A simple spreadsheet TM simulator. See the Instructions Tab for details. You are free to use this for practice, homework, and/or checking out 1-tape TM designs for project 3. For homework, a printout of a sheet with a working design is sufficient.
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 9: March 20-22

Tuesday: CFL Pumping
Thursday: CFL Pumping
Intro to Turing Machines
Variations of Turing Machines
Algorithms
Reading: Book Section 2.3,3.1
Assignments Homework 5 version 1 due Monday March 26 11:59pm PST
Project 3 initial version posted. Due Monday April 30, 11:59pm
Extra Credit initial version posted. Due Friday May 4, 11:59pm.
Other Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 8: March. 6-8

Tuesday: CFGs and PDAs
Thursday: CFGs and PDAs
Graph Algorithms: Bipartite Graphs
Reading: Book Section 2.2
Assignments Homework 4 version 1 due Monday March 5 11:59pm PST
Other Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program
Display Options for Due

Week 7: Feb. 20-22

Tuesday: Review for Exam 1
Thursday: Exam 1
Reading: Review Chap. 0 and 1 for exam.
Assignments Homework 4 version 1 due Monday March 5 11:59pm PST
Project 2 version 2: Finite Automata with Test File Here Due Monday Feb. 26 midnight PST
Other Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams. http://madebyevan.com/fsm/
On-line state diagram program

Week 6: Feb. 20-22

Tuesday: Context Free Grammars
Graph Algorithms: Bipartite Graphs
Thursday: Push Down Automata
Reading: Sipser Chap. 2.1, 2.2
Assignments Homework 3 version 1 due Monday Feb. 19 11:59pm PST
Project 2 version 2: Finite Automata with Test File Here Due Monday Feb. 26 midnight PST
Other Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams.

Week 5: Feb. 12-14

Tuesday: Non-regular Languages The Pumping Lemma
Thursday: Non Regular Languages More Examples
Reading: Sipser Chap. 1.4
Assignments Homework 2 version 2 due Monday Feb. 12 11:59pm PST
Homework 3 version 1 due Monday Feb. 19 11:59pm PST
Project 2 version 2: Finite Automata Due Monday Feb. 26 midnight PST
Other Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams.

Week 4: Feb. 5-7

Tuesday: Regular Languages and Closure Properties
Regular Expressions Grammar
Thursday: Regular Expressions Conversion from/to NFAs
Non Regular Languages
Reading: Sipser Chap. 1.2,1.3,1.4
Assignments Project 1 version 1: Cellular Automata Due Monday Feb. 5 midnight PDT
Homework 2 version 2 due Monday Feb. 12 11:59pm PST
Homework 3 version 1 due Monday Feb. 19 11:59pm PST
Project 2 version 2: Finite Automata Due Monday Feb. 26 midnight PST
Other See Links for list of Game of Life references
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams.

Week 3: Jan. 30-Feb. 1

Tuesday: NFAs
Thursday: NFAs to DFAs
Regular Languages and Closure Properties
Reading: Sipser Chap. 1.2,1.3
Assignments Homework 2 version 1 due Monday Feb. 12 11:59pm PST
Project 1 version 1: Cellular Automata Due Monday Feb. 5 midnight PDT
Project 2 version 1: Finite Automata Due Monday Feb. 26 midnight PDT
Other See Links for list of Game of Life references
Using the Arduino Due
Tutorial on TIKZ tool for drawing state diagrams.

Week 2: Jan. 23-25

Tuesday: Math Background completion of Proofs
Thursday: DFAs
DFA Transducers
Reading: Sipser Chap. 1.1, 1.2
Assignments Homework 1 version 1 due Monday Jan. 29 11:59pm PST
Project 1 version 1: Cellular Automata Due Monday Feb. 5 midnight PDT
Using the Arduino Due
Other See Links for list of Game of Life references

Week 1: Jan. 16, 18

Tuesday: Instructor Introduction
Course Introduction
Thursday: Math Background up to proofs
Intro to Finite Automata
Reading: Sipser Chap. 0, 1.1
Assignments Homework 1 version 1 due Monday Jan. 29 11:59pm PST
Project 1 version 1: Cellular Automata Due TBA
Other See Links for list of Game of Life references

Previous weeks calendars, including class, readings, and homework information, are on the Calendar page.