This quarter I am teaching CSE 322: Introduction to Formal Models in Computer Science. Good fun. As part of my teaching I am LaTeXing up lecture notes from the class, which follow closely the book we are using, Sipser’s “Introduction to the Theory of Computation.” Here are the first three lectures for those with nothing better to do during their weekend:

- Lecture 1: Welcome and Introduction
- Lecture 2: Formal Definition of Deterministic Finite Automata
- Lecture 3: Regular Operations on Languages

The notes are certainly full of many typos and such, but maybe there is a young teenager who isn’t in college, but who is bright, and wants to learn something cool about theory, and thus might actually click on those links. Comments and criticisms by others are also greatly appreciated.

Homework solutions will be handed out in class and not posted online (so as not to fill the internet with solution sets.)

Will you be posting any solutions to your homework assignments after they are reviewed in class? I’d like to follow along with the assignments and see how they match up.