In January I will give six hours worth of exam preparation for this year's theoretical computer science master's students.
We will cover the following topics:
- Deterministic and Nondeterministic Finite Automata, reduction from NFA to DFA and pumping lemma
- Context-free and Context-sensitive grammars and corresponding languages and pumping lemma as well as the word problem in Context-free grammars
- Basic complexity theory (P, NP, NP-Complete), decidability and reductions between several NP-Complete problems
I am looking forward to it.
Previous: talk at Leipzig's Haskell conference HaL-10 , Next: wordpress certificate error preventing upgrade