CompSci 334, Spring 2023
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 9-13 Week

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

Topic: Introduction:

Read Course Webpages
QZ01 on Sakai
1/13
LECTURE
First Lecture

LectureCh1 (slides)
(handout)

LectureCh1 (annotated)


ASSIGNMENTS
HOMEWORK
DUE


Homework 1 out


January 16-20 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
1/16
1/17

Topics: Sets, Languages, Grammars, Automata

Read Linz: Chap. 1
QZ02 on Sakai due

1/18
1/19
Topics:
NFA,
NFA vs DFA

Read Linz: Chap. 2.1-2.2

QZ03 on Sakai due



1/20
LECTURE
MLK Day
Lecture 2

LectureCh2 (slides)
(handout)

LectureCh1 (annotated)

LectureCh2 (annotated)

JflapFiles (.zip)


Lecture 3


LectureCh2 (annotated)

Example Problem 1 - R1awb(.pdf)

JflapFiles (.zip)

Classwork 1 (.pdf)



ASSIGNMENTS
HOMEWORK
DUE


Homework 1 due



Homework 2 out


January 23-27 Week

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

Topics: Properties
DFA to Min DFA

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

QZ04 in Sakai
1/25
1/26

Topics: Regular Expressions
Regular Grammars

Read Linz Ch. 3

QZ05 on Sakai
1/27
LECTURE

Lecture 4



LectureCh2 (annotated)

JflapFiles (.zip)


Lecture 5

LectureCh3 (slides)
(handout)



LectureCh3 (annotated)

JflapFiles (.zip)



ASSIGNMENTS
HOMEWORK
DUE


Homework 2 due



Homework 3 out


January 30 - February 3

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

Topics: Properties Regular Languages

Read Linz Ch. 4.1-4.2

QZ06 on Sakai

2/1
2/2

Topics: Regular Pumping Lemma

Read Linz Ch. 4.3

QZ07 on Sakai

2/3
LECTURE

Lecture 6

LectureCh4 (slides)
(handout)


LectureCh3 (annotated)


LectureCh4 (annotated)


HW3 (annotated)

See Old exams on Feb 7 date.


Lecture 7


LectureCh4 (annotated)

See Feb 7 for Exam 1 logistics and old tests



ASSIGNMENTS
HOMEWORK
DUE


Homework 3 due



Project 1 out


February 6-10

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

No Reading

No QZ

2/8
2/9
Topics:
Pushdown Automata

Read Linz Chapter 7.1, 7.3 (first 2 pages)

QZ08 due
2/10
LECTURE

******
EXAM 1
******


Exam 1 Logistics

Suggested Old Exam problems

Lecture 8

LectureCh7.1 (slides)
(handout)


LectureCh4 (annotated)


LectureCh7 (annotated)

JflapFiles (.zip)








ASSIGNMENTS
HOMEWORK
DUE

February 13-17

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/13
2/14
Context-Free Grammar
Brute-Force Parsing

Read Linz Chap. 5.1-5.2

QZ09 due
2/15
2/16

Topics:
NPDA/CFG

Read Linz Chap. 5.3, Chap 7.2-7.3

QZ10 due

2/17
LECTURE

Lecture 9

LectureCh5 (slides)
(handout)


LectureCh7 (annotated)


LectureCh5 (annotated)

Classwork 2 (.pdf)


Lecture 10

LectureCh7Part2 (slides)
(handout)


LectureCh5 (annotated)


LectureCh7 (annotated)






ASSIGNMENTS
HOMEWORK
DUE


Project 1 due



Homework 4 out


February 20-24 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/20
2/21

Topics:
Parsing, First and Follow

Read Linz Chapter 15
OR JFLAP Book Chap 8.1

QZ11

2/22
2/23

Topics: LL Parsing
Read Linz Chapter 16
OR JFLAP Book 8.2

QZ12

2/24
LECTURE

Lecture 11

LectureCh15 (slides)
(handout)


LectureCh7 (annotated)


LectureCh15 (annotated)

JflapFiles (.zip)



Lecture 12

LectureCh16 (slides)
(handout)


LectureCh15 (annotated)


LectureCh16 (annotated)

JflapFiles (.zip)




ASSIGNMENTS
HOMEWORK
DUE


Homework 4 due

Homework 5 out


February 27 - March 3 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
2/27
2/28

Topics:
LR Parsing

Read Linz Chapter 17 OR Read JFLAP Book Chap. 8.3

QZ13 due
3/1
3/2

Continue LR Parsing

Review

No QZ

3/3
LECTURE

Lecture 13

LectureCh17 (slides)
(handout)


LectureCh16 (annotated)


LectureCh17 (annotated)


See Exam2 Study materials on March 7


Lecture 14

LectureCh17 (annotated)


See Exam2 Study materials on March 7






ASSIGNMENTS
HOMEWORK
DUE


Homework 6 out



Homework 5 due



Project 2 out


March 6-10 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/6
3/7
No Reading,
No QZ
3/8
3/9
Topics:
Transforming Grammars

Read Linz Chapter 6

QZ14 on Sakai
3/10
LECTURE


******
EXAM 2
******


Exam 2 Logistics

Suggested Old Exam problems


Lecture 15

LectureCh6 (slides)
(handout)


LectureCh6 (annotated)


ASSIGNMENTS
HOMEWORK
DUE


Homework 6 due


March 13-17 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/13
3/14
3/15
3/16
3/17
LECTURE

SPRING
BREAK



SPRING
BREAK



SPRING
BREAK



SPRING
BREAK



SPRING
BREAK


ASSIGNMENTS
HOMEWORK
DUE

March 20-24 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/20
3/21

Topics:
CFL Properties

Read Linz Chapter 8

QZ15 on Sakai
3/22
3/23
Topics:
Turing Machines

Read Linz Chapter 9

QZ16 on Sakai
3/24
LECTURE

See Lecture Videos in Sakai Resources

Lecture 16

LectureCh8 (slides)
(handout)


LectureCh8 (annotated)


Lecture 17

See Lecture Videos in Sakai Resources

LectureCh9 (slides)
(handout)


LectureCh8 (annotated)


LectureCh9 (annotated)




ASSIGNMENTS
HOMEWORK
DUE


Project 2 Part 1 Due


March 27-31 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
3/27
3/28

No Reading

No Sakai Quiz
3/29
3/30

Topic: Turing Machine Models

Read Linz Chapter 10.1-10.2

QZ17 on Sakai
3/31
LECTURE

Lecture 18


LectureCh9 (annotated)


Classwork 3(.pdf)


Lecture 19

LectureTMBB (slides)
(handout)


LectureTMBB (annotated)


Classwork 4(.pdf)




ASSIGNMENTS
HOMEWORK
DUE


Project 2 Part 2 Due



Homework 7 out


April 3-7 Week

  Monday Tuesday Wednesday Thursday Friday
PRE-
WORK
4/3
4/4

L-Systems
Read L-systems paper

Or try this link

QZ18 on Sakai

4/5
4/6

No Reading
No QZ

4/7
LECTURE
Lecture 20

Lecture LSystems (slides)
(handout)

Lecture LSystems (full/Annotated)

JflapFiles (.zip)


Classwork 5(.pdf)


Lecture 21

LectureCh10 (slides)
(handout)


LectureCh10 (annotated)

See April 13 for Exam 3 study materials



ASSIGNMENTS
HOMEWORK
DUE


Homework 7 due



Homework 8 out



Project 3 out


April 10-14 Week

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

Topic: More Turing Machines

Read Linz Chapter 10.3-10.5

QZ19 on Sakai
4/12
4/13

No Reading
No QZ
4/14
LECTURE

Lecture 22



LectureCh10 (annotated)


Classwork 6(.pdf)

See April 13 for Exam 3 study materials



******
EXAM 3
******


Exam 3 Logistics

Suggested Old Exam problems



ASSIGNMENTS
HOMEWORK
DUE


Homework 8 due


April 17-21 Week

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

Recursively Enumerable Languages

Read Linz Chapter 11.1-11.2

No RQ
4/19
4/20
Read Linz Chapter 11.3-11.4

QZ 20 on Sakai
4/21
LECTURE

Lecture 23

LectureCh11 (slides)
(handout)


LectureCh11 (annotated)

JflapFiles (.zip)


Classwork 7(.pdf)


Lecture 24

LectureCh12 (slides)
(handout)


LectureCh11 (annotated)


LectureCh12 (annotated)

Halting Problem Video




ASSIGNMENTS
HOMEWORK
DUE


Homework 9 out



Project 3 due


April 24-28 Week

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

Decidability

Read Linz Chapter 12.1

QZ 21 on Sakai
4/26
4/27
4/28
LECTURE
Last Lecture

Lecture 25

LectureCompilers (slides)
(handout)

scanner.l

parser.y

y.output

firstfollow

Classwork 8(.pdf)

Final Exam

Souvenir and Surprise

We ate Cookies!

Reading
Day
Reading
Day
ASSIGNMENTS
HOMEWORK
DUE



Homework 9 due


May 1-5 Week

  Monday Tuesday Wednesday Thursday Friday
FINAL
EXAM
WEEK
5/1
5/2
5/3
5/4


*********
FINAL EXAM
2pm-5pm
*********


5/5