Proseminar 07/08

Proseminar Theoretische Informatik

Prof. Helmut Alt, WS 2010/11

Liste der Vorträge (Termine vorläufig)


1. Anwendungen kontextfreier Grammatiken [HMU] 5.3
     2.11.2010, Jan Lottermoser
     Zusammenfassung

2. Lindenmayer-Systeme
     9.11.2010, Astrid Koennecke
      Zusammenfassung Folien

3. Zeitkomplexität 1 [S] 7.1-7.2
    26.11.2010, Sebastian Stugk
     Zusammenfassung Folien

4. Zeitkomplexität 2 [S] 7.3
    23.11.2010, Max Wisniewski
    Zusammenfassung

5. NP-Vollständigkeit 1 [S] 7.4
    30.11.2010, Tobias Laatsch
    Zusammenfassung

6. NP-Vollständigkeit 2 [S] 7.5
    7.12.2010, Maurice Wothe
     Zusammenfassung

7. Die Chomsky-Hierarchie [W], Kap. 5
     14.12.2010, Wojciech Lukasiewicz
      Zusammenfassung

8. Zwei Zähler sind universell [HMU] 8.5
   4.1.2011, Elena Weihe
    Zusammenfassung

9. Berechnungsmodelle [Sch] 2.1-2.3
   11.1.2011, Marcel Jüneman
    Zusammenfassung Skript

11. Unentscheidbare Probleme bei formalen Sprachen [S] 4.1,5.1
   25.1.2011, Steffen Puhlmann
   Zusammenfassung

13. Kolmogoroff-Komplexität [S] 6.4
   1.2.2011, Mahnke
   Zusammenfassung

14. Kryptographie [S] 10.6
15.2.2011, Ihrig
   Zusammenfassung

[HMU]
J.E.Hopcroft, R. Motwani, J.D.Ullman
Introduction to Automata Theory, Languages, and Computation, 2nd ed.
Addison-Wesley 2001

[Sch]
U.Schöning
Theoretische Informatik-kurzgefaßt
Spektrum Akad. Verlag 1995

[S]
M. Sipser
Introduction to the Theory of Computation
PWS Publ.Comp. 1997