Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik

Theoretische Informatik II

Sommersemester 2002

Vorlesung: Theoretische Informatik II

SWS (V/Ü/P)

4/2/0

Vorkenntnisse

Vordiplom

Semesterempfehlung

4. bzw. 6.

Inhalt

Behandelt werden die klassischen Themen der Theoretischen Informatik: Formale Sprachen, Berechenbarkeit und Komplexität. Formale Sprachen sind die Grundlage für Programmiersprachen, Berechenbarkeit dreht sich um die Frage, welche Probleme algorithmisch lösbar sind und welche nicht. Die Komplexität betrifft den Zeitaufwand der zur Lösung von Problemen erforderlich ist.

Literatur

Schöning, Uwe: Theoretische Informatik - kurzgefaßt, Spektrum Verlag, 1995
J. E. Hopcroft; J. D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
I. Wegener: Theoretische Informatik

Links

Folien zur Vorlesung:Reguläre Sprachen
Typ 2, 1 und 0 Sprachen
Berechenbarkeitstheorie
Unentscheidbarkeiten bei Typ 2 Grammatiken
Übungsaufgaben:1. ÜbungLösungen
2. ÜbungLösungen
3. ÜbungLösungen
4. ÜbungLösungen
5. ÜbungLösungen
6. ÜbungLösungen
7. ÜbungLösungen
8. ÜbungLösungen
9. ÜbungLösungen
10. ÜbungLösungen
11. ÜbungLösungen
12. ÜbungLösungen
13. ÜbungLösungen