Für Klausur:

- PCP erst gegen ende, weil kann randomly länger dauern als gedacht

---

- TM Def.
- Binomialkoeffizient Def.
- Ackermannfunktion Def.