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.

More like this

Last week, in the class I'm teaching, we talked about the basics of deterministic finite automata. In week two we moved on to more interesting and slightly less basic material. In particular we introduced the notion of a nondeterministic finite automata and, by the end of the week, had showed…
I just got the teaching schedule for Spring, so I decided to follow up on last week's post by putting, under the fold, a series of short posts I wrote when I taught the last time, musing about teaching in general and teaching biology to adults in particular. These are really a running commentary…
Lately I've been giving a lot of thought to a question that I'm nearly constantly asked: "So...[long pause]...are you a physicist...[long pause]...or are you a computer scientist?" Like many theorists in quantum computing, a field perched between the two proud disciplines of physics and computer…
Chad links to an article about a study that shows that good preparation in high school math helps students perform in all science disciplines in college, whereas studying one science in high school doesn't help their performance in other science disciplines in college. There are a few conclusions…

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.

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