- Homework #1 - Induction is your friend!
- Homework #2 - Diagonalization is definitely NOT your friend!
- Homework #3 - DFAs and NFAs
- Homework #4 - Regular Expressions
- Homework #5 - Context-Free Languages and Grammars
- Homework #6 - Turing Machines
- The course project

Disclaimer: Note that the following slides will be changed througout the semester, and students are responsible for any such changes occurring prior to an associated exam.

- Course Overview
- Background - Induction, relations, diagnalization, etc.
- Introduction to Languages
- Regular Languages, DFAs and NFAs
- Regular Expressions
- Properties of Regular Languages
- Context-Free Languages and Context-Free Grammars
- Pushdown Automata
- Properties of Context-Free Languages
- Showing a Language is Not Context-Free #1(pdf only!)
- Showing a Language is Not Context-Free #2(pdf only!)
- Turing Machines

- Finite Automata Drawing Utility
- The Book's Website (Introduction to Automata Theory, Languages, and Computation)
- Lego Turing Machine
- Boring Turing Machine
- The Halting Problem Explained