What is this course about?

1. Mathematical models of computation, such as:
   • Finite automata,

   • Pushdown automata,

   • Turing machines

2. How to specify formal languages?
   • Regular expressions

   • Context free grammars

   • Context sensitive grammars

3. The relation between 1. and 2.