Finite State Machines
Basics of Sets
Set Operations
Regular Expressions
Context-Free Languages
Turing Machines