CSE 34151 Theory of Computing: Fall 2017
Babbages Analytical Engine, 1834-1871. (9660574685)

Lecture Notes
Change Log

  CSE30151 Home Page

Description: Introduction to formal languages and automata, computability theory, and complexity theory.

Text: Intro to the Theory of Computation, International, 2nd or 3rd Ed. (preferred), Michael Sipser with ERRATA Version 3.

Classroom: Tusdays/Thursdays, 12:30-1:45, 101 Jordan Hall of Science

Instructor: Prof. Peter Kogge 326A Cushing. Office Hours Mondays & Tuesdays 2-3pm


  • Satyaki Sikdar: email: ssikdar@nd.edu Office hours: Sundays 4-5pm Cushing 213, Mondays 6-7pm Cushing 212
  • Joshua Siva: email: joshua.t.siva.1@nd.edu Office hours Mondays and Wed. 3-4pm, Cushing 213
  • Jonathan Baker: email: jbaker10@nd.edu Office hours Wed 6-7pm Cushing 213, Th 6-8 Cushing 212
  • Jessica Cioffi: email: jcioffi@nd.edu Office hours Thursdays 7-9pm, Cushing 212
  • Ryan Mackey: email: ryan.p.mackey.18@nd.edu Office hours Wed. 7-9pm 213

Course Details: See Administration

Quiz Distribution
Homework Distribution

Honor Code: ND Honor Code. CSE Guide to Honor Code

This week in Theory

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

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

Recent Important Web Site Changes.

See Change Log for complete list

  • 9/20: added hints to problems 5 and 10
  • 9/20: HW4 accidently duplicated problem 1 from HW 3. Changed to Book problem 1.13. Homework Distribution posted.
  • 9/19: date for HW4 moved 1 day to Friday. HW4-v2 had some solutions posted accidently for problems 6, 8, 9. Has been replaced.
  • 9/14: other test sets for Project1 now in directory
  • 9/12: Updated Quiz distribution
  • 9/8: updated HW3 to reflect material covered thru 9/7
  • 9/5: Clarified problems 5b and c on HW2
  • 8/31: Clarified HW2 and added A Tikz tutorial. Added dates to Lecture Notes page as a rough calendar projection. Added Quiz Distribution chart above.
  • 8/30: Changed "n-1" to "n+1" in problem 4 of Homework 1 to agree with book.
  • 8/28: Updated homework 1 to reflect mismatch in problem numbers between Version 3 and International Ed. Added a few charts to SAT notes. Added kSAT.cnf
  • 8/25: Updated notes for SAT & Intro; updated Project1 and modified the due date a bit.
  • 8/24: posted first version of Project 1
  • 8/23: modified the Intro notes a bit to be more in line with HW1 (added informal introduction of "transition function")
  • 8/22: startup as https://www3.nd.edu/~kogge/courses/cse30151-fa17