Math 3342, Theory of Computation

Spring 2026

General Information

Class Meetings: TF 12:30-1:20, W 1:00-1:50 Bannow 341

Instructor: Chris Staecker (Personal Homepage)

Office: BNW GR-17

Office Hours: TF 11-12:30, 1:30-2, W 12-1, 2-3 or by appointment
All office hours are in my office (Bannow GR17), or on Zoom. Zoom link: https://fairfield.zoom.us/j/5514910533

Textbook: Formal Language: A Practical Introduction by Webber

Final Exam: Friday May 8, 11:30-2:30

Other Stuff

Syllabus (pdf)

Tests & Homework

1/28: Homework #1 due: Chapter 1: 1abde, 2, 4 ("set former" is like what you see in #1)
Chapter 2: 1, 2, 4, 9ab
Professor's answers PDF
2/4: Homework #2 due: Chapter 2: 3, 5b, 6c, 7, 8
Chapter 3: 8, 10
Also these extra questions
Professor's answers PDF
2/11: Homework #3 due: Chapter 3: 1ab, 4 (in #4b, L is supposed to be L₁)
Chapter 5: 1, 3def, 4ad
Also these extra questions
Professor's answers PDF
2/18: Homework #4 due: Chapter 5: 5bd, 7a, 8b, 9b, 10
Chapter 6: 3, 4, 5
Professor's answers PDF
2/20: Exam #1: Professor's answers PDF
3/4: Homework #5 due: Chapter 7: 1
Chapter 7: Give a regular expression for #1f and #1g, and convert them to NFA. Convert the NFAs in #4, 5, 6 to regular expression
Also these extra questions
4/10: Exam #2
5/8: Final Exam: 11:30-2:30, in the usual classroom

Class recordings

Here is a YouTube playlist