Background:
Meaning
The Formal Description of Languages I
Backus-Nauer Form
The Formal Description of Languages II
Chomsky Grammars for Natural Languages
Complexity Theory - Moore's Law
Computability Theory - The Halting Problem
Review of Chapter 0 of the text - Please bring your copy of Sipser to class.
Boolean Algebra and Complexity