Theo 1 Lernplan
===

- [ ] Sprachen und Grammatiken
- [ ] Chomsky-Hierarchie
- [ ] Wie führt man Beweise?
- [ ] Wie führt man Beweise? teil 2
- [ ] Das Wortproblem
- [ ] Syntaxbäume, Linksableitungen
- [ ] Mehrdeutige Grammatiken
- [ ] Endliche Automaten und Typ-3 Sprachen
- [ ] Nichtdeterministische Automaten
- [ ] Satz von Rabin und Scott, Beispiele
- [ ] Exponentieller Blow-Up, DEA=NEA=Typ-3
- [ ] Reguläre Ausdrücke, Satz von Kleene
- [ ] Pumping Lemma, mit Beweis
- [ ] Pumping Lemma: Anwendungen
- [ ] Der Satz von Myhill und Nerode
- [ ] Minimalautomaten (mit Konstruktion)
- [ ] Erkennung durch Monoide (Einschub)
- [ ] Abschlusseigenschaften, Entscheidbarkeitsresultate
- [ ] Kontextfreie Sprachen, Normalformen
- [ ] Pumping Lemma für Typ-2, Abschlusseigenschaften
- [ ] Das Wortproblem für Typ-2, CYK-Algorithmus
- [ ] Kellerautomaten, DPDA, Abschlusseigenschaften
- [ ] Typ 1: Kuroda-Normalform, LBA, Satz von Kuroda
- [ ] Satz von Immerman und Szelepcsenyi, Tabellen