CSE 322 Spring 2008, Week 1

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.

2 Replies to “CSE 322 Spring 2008, Week 1”

  1. 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.

Leave a Reply

Your email address will not be published. Required fields are marked *