CISC 4090 Theory of Computation
Department of Computer and Information Science
Dr. Weiss, Spring 2021
MR 4:00- 5:15pm (online)

Return to CISC 4090 Home

CISC 4090 Class Schedule

Below are links to the lectures slides for this class, in Powerpoint and pdf format.
Chapter 0(pdf)    Chapter 1(pdf)    Chapter 2(pdf)    Chapter 3(pdf)    Chapter 4/5(pdf)    Chapter 7(pdf)

Here is a link to an Automaton Simulator that I found that can help you test your homework.
All homeworks must be turned in before the start of class on the due date, via blackboard homework submission.
Zoom link for lectures: https://fordham.zoom.us/j/81156939885

Review HW1
CFGS II
DATE    TOPIC READING  HOMEWORK
2/1 (M) Intro to course
Review: Discrete Math & Proofs 		Ch 0 HW1 (due 2/8) (word, pdf)
  (note remaining HWs are from textbook)
2/4 (R) Finite Automata I Ch 1.1 HW2 (due 2/18)
  Covers Ch1.1: 1.1, 1.2, 1.3, 1.5abc, 1.6abcfmn, 1.36
2/8 (M) Finite Automata II
Nondeterminism I		 Ch 1.2 *** HW1 Due ***
HW3 (due 2/25):
  Covers Ch1.2:  1.7ab, 1.8a, 1.9b, 1.14, 1.16
  Covers Ch1.3:  1.12,1.17a,1.18abcmn,1.20,1.21a*,1.60
    *1.21a: just come up with the regular expression
2/11 (R)   Nondeterminism II
2/18 (R) Finish Nondeterminism
Review HW1
Regular Expressions		 Ch 1.3 *** HW2 due ***
2/22 (M) Review HW2
Non-regular Languages I 		Ch 1.4 HW4 (due 3/11):
  Covers Ch1.4:  1.29bc, 1.30, 1.46ac, 1.55abcefgij
  Covers Ch2.1:  2.1, 2.3, 2.4, 2.6ac, 2.9, 2.14
2/25 (R) Quiz (Ch1.1/HW2; also 1.2 basics)
Non-regular Languages II 		Ch 2.1 *** HW3 Due ***
3/1 (M) Non-regular Languages III
Context Free Grammars (CFGs)
 Ch 2.1 HW5 (due 3/29):
  Covers Ch2.2:  2.5*, 2.10, 2.16, 2.22, 2.26
  * for 2.5 only provide informal description
3/4 (R) Finish CFGs
Review HW3
3/8 (M) Push Down Automatas Ch 2.2
3/11 (R) Review HW4
Finish PDAs 		*** HW4 due ***
3/15 (M) Quiz II (Ch 1.3, 1.4, 2.1; basics 1.1,1.2)
Review Quiz II
Take Practice Midterm (Solutions)
ignore PDA practice questions
Office hours for midterm
See syllabus for office hour zoom links
Monday 3/15 2-3pm Shanuka
Tuesday 3/16 11am-noon, Dr. Weiss
Tuesday 3/16 1-2pm, Shanuka (extra)
Thursday 3/18 1-2pm, Dr. Weiss (extra)
Thursday 3/18 2-3pm, Shanuka
3/18 (R) Midterm Exam
Covers HW2, HW3, HW4
Covers Ch 0, Ch 1, Ch 2.1
3/22 (M) Briefly Review Midterm
Turing Machines I		 Ch 3.1 HW6 (due 4/8):
  Covers Ch3:  3.6, 3.7, 3.8a,b,c,d*
    *3.8d: to recognize language aibici
3/25 (R) Turing Machines II Ch 3.2
3/29 (M) Turing Machines III Ch 3.3 *** HW5 Due ***
4/1 (R) Review HW5
Decidable Languages 		Ch 4.1
4/5 (M) Complete Decidable Languages
4/8 (R) Halting Problem
Intro to Reduciblity 		Ch 4.2
Ch 5.1
(to end Th. 5.1)		 *** HW6 Due ***
4/12 (M) Review HW6
Measuring Complexity I		 Ch 7.1 HW7 (due 5/3):
  Covers Ch 4.1:  4.1, 4.2, 4.3
  Covers Ch7.1/7.2:  7.1, 7.2, 7.8
  Covers Ch7.3/7.4:  7.5, 7.9, DOUBLE-SAT*
  *Do 7.21 (2nd ed.) or 7.22 (3rd ed.)
4/15 (R) Quiz III (Ch. 2.2, 3, 4.1, 4.2)
Measuring Complexity II
4/19 (M) Class P Ch 7.2
4/22 (R) The Class NP Ch 7.3
4/26 (M) NP Completeness Ch 7.4
4/29 (R) More NP Complete Problems Ch 7.5 Complete exam below by next class
Final Review Exam  (Solutions)
5/3 (M) Review HW7
Review select practice final questions 		*** HW7 Due ***
Office Hours
5/3(M) 2-3pm (Shanuka) https://fordham.zoom.us/j/5502181983
5/4(M) Cancelled (moved to 5/7)
5/6(R) 1-2pm (Shanuka) https://fordham.zoom.us/j/5502181983
5/7(F) 11am - noon (Dr. Weiss) https://fordham.zoom.us/j/3064143040
5/10(M) 2-3pm (Shanuka) https://fordham.zoom.us/j/5502181983
5/13(R) 1-2pm (Shanuka) https://fordham.zoom.us/j/5502181983
5/14(F) 11am-noon (Shanuka) https://fordham.zoom.us/j/5502181983
5/14(F) 3pm - 4pm (Dr. Weiss) https://fordham.zoom.us/j/3064143040
5/15(Sa) 11am - noon (Dr. Weiss) https://fordham.zoom.us/j/3064143040
5/15 (Sa) Cumulative Final
Saturday at 1:30pm 		https://fordham.zoom.us/j/81156939885