Topic outline
- General
- Introduction and Mathematical Background
- About Mathematical Proofs
- Finite Automata
- Nondeterminism
- Regular Expressions
- Nonregular Languages and The Pumping Lemma
- Tutorial Questions for Exam I
- Context-Free Grammars and Languages
- Pushdown Automata and Non-Context-Free Languages
- Tutorial Questions for Exam II
- Turing Machines