Lehr- und Forschungseinheit für Theoretische Informatik,
Institut für Informatik
der Ludwig-Maximilians-Universität München
Vorlesung im Hauptstudium (SS04):
Automatentheorie (V4Ü2)
- 9.8.04: Die Scheine sind ausgestellt und können ab dem 10.8.04 im Sekretariat (Raum Z1.05 in der
Oettingenstr. 67) bei Frau Kommerowski abgeholt werden.
- Scheinvergabe: Wer regelmässig und aktiv an den Übungen teilgenommen hat, der möge
mir bitte eine Email mit vollständigem Namen und der
aktuellen Matrikelnummer schicken.
Die Scheine werden kommende Woche (ab. 3.8.) erstellt und unterschrieben und sollten dann
Ende dieser Woche abholungsbereit sein.
| Zeit | Ort | Beginn | Veranstalter |
|---|
| Vorlesung: | Mo 12-14 | 1.31 | 19.4. | Hofmann/Lange |
| Mi 12-14 | 0.37 | | Hofmann/Lange |
| Übung: | Do 12-14 | 1.15 | 22.4. | Lange |
- Übungsblätter:
-
(entfernt)
- Zuordnung:
- PG
- Vorkenntnisse:
- Vordiplom
- Hörerkreis:
- Studierende der Informatik im Hauptstudium
- Studierende mit Nebenfach Informatik
- Schein:
- Schein gilt für Diplomprüfung in
Haupt- und Nebenfach Informatik
zurück zum
Inhaltsverzeichnis dieser Seite
Diese Vorlesung zeigt, wie Automaten benutzt werden können, um Entscheidungsverfahren für verschiedene
Logiken zu erhalten.
- Automaten auf endlichen Wörtern, Monadische Logik 2. Stufe, Satz von Elgot-Büchi, Presburger Arithmetik
- Automaten auf unendlichen Wörtern, LTL
- Automaten auf endlichen Bäumen, XML
- Automaten auf unendlichen Bäumen, Satz von Rabin, modaler mu-Kalkül
(entfernt)
- Aktuelle Übersichts- und Forschungsarbeiten, die in der Vorlesung bekannt gegeben werden.
- F. Baader, Automatentheorie, Mitschrift einer Vorlesung, erhältlich in verschiedenen Versionen von
http://www2.s-inf.de/#ATFS.
- W. Thomas, Languages, Automata, and Logic,
Technical Report #9607,
Institut für Informatik und Praktische Mathematik, CAU Kiel, 1996
- E. Grädel, W. Thomas, Th. Wilke, Automata, Logics, and Infinite Games: A Guide to Current Research, Lecture
Notes in Computer Science, volume 2500, Springer Verlag, 2002
- M. Vardi, Alternating Automata and Program Verification, Lecture Notes in Computer Science, Volume 1000,
Springer Verlag, erhältlich von
M. Vardi's homepage.
- J. E. Hopcroft, R. Motwani Rotwani, J. D. Ullman, Introduction to Automata Theory, Languages and Computability,
2nd Edition, Addison-Wesley
- H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, M. Tommasi, Tree Automata Techniques and
Applications, erhältlich von
http://www.grappa.univ-lille3.fr/tata/.
- F. Neven, Automata, Logic, and XML, erhältlich von
F. Neven's homepage.
- F. Neven, Th. Schwentick, Query Automata, erhältlich von
F. Neven's homepage.
- MONA
- Omega
- Spin
- XDuce, sämtliche erforderlichen "Tarballs" zur Installation auf einem
Linux System finden Sie hier.
zurück zum
Inhaltsverzeichnis dieser Seite