CompSci 334, Spring 2022
Mathematical Foundations of CS
CompSci 334 Calendar

All materials we use in class are accessible via this page.

This is a temporary schedule for what we will do, subject to change!

Information about grading and course logistics.

January 3-7 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
1/3
1/4
1/5
1/6
Topics: Review Sets,
Languages,
Grammars,
Automata

No Reading
No QZ

1/7

LECTURE

Lecture 1
Lecture (slides)
(handout)

LectureNotes (annotated)

Video of Lecture in Sakai Resources

ASSIGNMENTS
HOMEWORK
DUE
Homework 1 out

January 10-14 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
1/10
1/11

Topics: Sets, Languages, Grammars, Automata
Linz: Chap. 1
QZ01 on Sakai

1/12
1/13

Topics:
NFA,
NFA vs DFA

Linz: Chap. 2.1-2.2
QZ02 on Sakai



1/14
LECTURE

Lecture 2

LectureCh2 (slides)
(handout)

LectureCh1 (annotated)

LectureCh2 (annotated)

JFLAP (files)

Lecture 3

Classwork1 (pdf)

LectureCh2 (annotated)

Example Writeup Problem1

JFLAP (files)

ASSIGNMENTS
HOMEWORK
DUE
Homework 1 due
Homework 2 out

January 17-21 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
1/17
1/18
Topics: Properties
DFA to Min DFA

Read Linz Ch. 2.3-2.4
Read JFLAP Ch. 2.2

QZ03 in Sakai
1/19
1/20
Topics: Regular Expressions
Regular Grammars

Read Linz Ch. 3

QZ04 on Sakai
1/21
LECTURE
MLK Day
Lecture 4

LectureCh3 (slides)
(handout)

LectureCh2 (annotated)

LectureCh3 (annotated)

JFLAP (files)


Lecture 5

LectureCh3 (annotated)

JFLAP (files)

ASSIGNMENTS
HOMEWORK
DUE
Homework 2 due
Homework 3 out

January 24-28

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
1/24
1/25

Topics: Properties Regular Languages

Read Linz Ch. 4.1-4.2

QZ05 on Sakai

1/26
1/27

Topics: Regular Pumping Lemma

Read Linz Ch. 4.3

QZ06 on Sakai

1/28
LECTURE

Lecture 6

LectureCh4 (slides)
(handout)

LectureCh3 (annotated)

LectureCh4 (annotated)

Lecture 7

Exam 1 review

LectureCh4 (annotated)



ASSIGNMENTS
HOMEWORK
DUE
Project 1 out
Homework 3 due

January 31-February 4-28

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
1/31
2/1

No Reading

No QZ

2/2
2/3
Topics:
Pushdown Automata

Read Linz Chapter 7.1, 7.3 (first 2 pages)

QZ07 due
2/4
LECTURE

EXAM 1

Covers: Linz Chap. 1-3

Exam is in person in lecture


Lecture 8

LectureCh7.1-2 (slides)
(handout)

Classwork2 (pdf)

LectureCh4 (annotated)

LectureCh7.1 (annotated)

JFLAP Files (.zip)



ASSIGNMENTS
HOMEWORK
DUE

February 7-11

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/7
2/8

Topics:
Context-Free Grammar
Brute-Force Parsing

Read Linz Chap. 5.1-5.2

QZ08 due
2/9
2/10

Topics:
NPDA/CFG

Read Linz Chap. 5.3, Chap 7.2-7.3

QZ09 due

2/11
LECTURE

Lecture 9

LectureCh4 (slides)
(handout)

LectureCh7.1 (annotated)

LectureCh5 (annotated)

JFLAP Files (.zip)

Lecture 10

LectureCh7.2-3 (slides)
(handout)

LectureCh5 (annotated)

LectureCh7.2 (annotated)

JFLAP Files (.zip)



ASSIGNMENTS
HOMEWORK
DUE
Project 1 due
Homework 4 out

February 14-18 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/14
2/15

Topics:
Parsing
LL Parsing

Read JFLAP Book Chap. 8.1-8.2

QZ10 due
2/16
2/17

Topics:
LR Parsing

Read JFLAP Book Chap. 8.3

QZ11 due
2/18
LECTURE

Lecture 11

LectureParse (slides)
(handout)

LectureLLParse (slides)
(handout)

LectureCh7.2 (annotated)

LectureParse (annotated)

LectureLLParse (annotated)

JFLAP Files (.zip)


Lecture 12

LectureLLParse (annotated)

ASSIGNMENTS
HOMEWORK
DUE
Homework 4 due
Homework 5 out

February 21-25 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/21
2/22
Topics:
LR Parsing

No Reading
No QZ
2/23
2/24
Topics:
Transforming Grammars

Read Linz Chapter 6

QZ12 on Sakai
2/25
LECTURE

Lecture 13

LectureLRParse (slides)
(handout)

LectureLRParse (annotated)


See Exam 2 review on 3/1 date


Lecture 14

LectureLRParse (annotated)

Worked Test 2 Spring 2009, No. 8.
(a) First Follow(.JPG)

(b) DFA with items (.JPG)

ASSIGNMENTS
HOMEWORK
DUE
Homework 6 out
Homework 5 due

Project 2 out

February 28 - March 4 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/28
3/1

No Reading
No QZ
3/2
3/3
No Reading
No QZ
3/4
LECTURE

EXAM 2

Exam 2 review


Lecture 15

LectureChap6 (slides)
(handout)

LectureChap6 (annotated)

Lecture is Asynchronous, in Sakai Resources

ASSIGNMENTS
HOMEWORK
DUE
Homework 6 due

March 7-11 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/7
3/8
3/9
3/10
3/11
LECTURE

SPRING
BREAK



SPRING
BREAK



SPRING
BREAK



SPRING
BREAK



SPRING
BREAK


ASSIGNMENTS
HOMEWORK
DUE

March 14-18 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/14
3/15

Topic: Properties CFL

No Reading
No QZ
3/16
3/17
Topic: Properties CFL (continued)

Read Linz Chapter 8

QZ13 on Sakai
3/18
LECTURE

Lecture 16

Lecture Ch8 (slides)
(handout)

Lecture Ch8 (annotated)


Lecture 17

Lecture Ch9 (slides)
(handout)

Lecture Ch8 (annotated)

Lecture Ch9 (annotated)

ASSIGNMENTS
HOMEWORK
DUE
Project 2 PART 1 due

March 21-25 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/21
3/22
Topic: Standard Turing Machine

Read Linz Chapter 9

QZ14 on Sakai
3/23
3/24
Topic: Turing Machine Models

Read Linz Chapter 10.1-10.2

QZ15 on Sakai
3/25
LECTURE

Lecture 18



No lecture, just classwork.

Classwork 3(pdf)

Lecture 19

Lecture TM BB (slides)
(handout)

Lecture TM BB (annotated)

Asynchronous Lecture Video in Sakai Resources

ASSIGNMENTS
HOMEWORK
DUE
Project 2 PART 2 due
Homework 7 out

March 28-April 1 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/28
3/29
L-Systems
Read L-systems paper

Or try this link

QZ16 on Sakai
3/30
3/31
Topic: More Turing Machines

Read Linz Chapter 10.3-10.5

QZ17 on Sakai
4/1
LECTURE

Lecture 20

Lecture Lsystems (slides)
(handout)

Lecture Lsystem (annotated)


Classwork - bring laptop


Lecture 21

Lecture Ch10 (slides)
(handout)

Lecture Ch10 (annotated)

ASSIGNMENTS
HOMEWORK
DUE
Homework 7 due
Homework 8 out

April 4-8 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
4/4
4/5
Topic: Universal TM

No Reading
No QZ
4/6
4/7
No Reading
No QZ
4/8
LECTURE

Lecture 22

Lecture Ch10 (annotated)


EXAM 3

Exam 3 review

ASSIGNMENTS
HOMEWORK
DUE
Homework 8 due
Project 3 out

April 11-15 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
4/11
4/12

Recursively Enumerable Languages

Read Linz Chapter 11.1-11.2

No RQ
4/13
4/14
Read Linz Chapter 11.3-11.4

QZ 18 on Sakai
4/15
LECTURE

Lecture 23

LectureCh11 (slides)
(handout)

Lecture Ch11 (annotated)

JFLAP Files (.zip)


Lecture 24

Lecture Ch11 (annotated)

Classwork (annotated)

ASSIGNMENTS
HOMEWORK
DUE

April 18-22 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
4/18
4/19

Decidability

Read Linz Chapter 12.1

QZ 19 on Sakai
4/20
4/21
4/22
LECTURE
Lecture 25
Last Lecture
Decidability
Compilers
Surprise

LectureCh12 (slides)
(handout)

LectureCh12 (annotated)

LectureCompilers (slides)
(handout)

No annotated for compilers

parser.y
scanner.l
y.output

Final Exam Review

Reading
Day
Reading
Day
ASSIGNMENTS
HOMEWORK
DUE
Project 3 due

April 25-29 Week

  Monday Tuesday Wednesday Thursday Friday
FINAL
EXAM
WEEK
4/25

FINAL EXAM
7pm-10pm


4/26
4/27
4/28
4/29