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.