| |
Automatentheorie und Formale Sprachen
Dozent
- Martin Kutrib
Zeit und Raum
- Vorlesung:
- Mittwoch, 10-12 Uhr, Hörsaal 12 des MZVG
- Donnerstag, 12-14 Uhr, Hörsaal 11 des MZVG
- Beginn: 18. April 2007
- Übung: (Jens Glöckler)
- Montag, 8-10 Uhr, Hörsaal 12 des MZVG
- Beginn: 23. April 2007
Prüfung
- Die Zugangsdaten entsprechen jeweils denen des Skripts.
- Evaluation
- Evaluationsergebnisse
Zielgruppe
Die Veranstaltung richtet sich in erster Linie an Studierende
der Diplomstudiengänge Mathematik und Physik mit Nebenfach Informatik
sowie des Studienganges Lehramt L3 Informatik im Hauptstudium.
Inhalt
- 1. Grundlegende Notationen und Begriffe
- 2. Sprachen und Grammatiken
- 3. Endliche Automaten und reguläre Sprachen
- 4. Verallgemeinerungen endlicher Automaten
- 5. Kellerautomaten und kontextfreie Sprachen
- 6. Weiteres zur Chomsky-Hierarchie
- 7. (Un)Entscheidbarkeit
Skriptum
- Inhaltsverzeichnis:
PDF (27 kB)
- Kapitel 1:
PDF (92 kB)
- Kapitel 2:
PDF (113 kB)
- Kapitel 3:
PDF (148 kB)
- Kapitel 4:
PDF (149 kB)
- Kapitel 5:
PDF (211 kB)
- Kapitel 6:
PDF (150 kB)
- Kapitel 7:
PDF (133 kB)
Voraussetzungen
- Grundstudium
Literatur
- J. Gruska.
Foundations of Computing.
International Thomson Computer Press 1997.
- J.E. Hopcroft, J.D. Ullman.
Introduction to Automata Theory, Language, and
Computation.
Addison-Wesley 1979.
- A. Salomaa.
Formal Languages.
Academic Press 1973
|