I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Automaten, Formale Sprachen (und Berechenbarkeit)
held by: Prof. Dr. Markus Holzer
held in: WS 2006/2007
schedule: Tuesday, 08:30 - 10:00 (MI HS2)
    start date: 2006-10-17 / end date: 2007-02-20

Tuesday, 16:00 - 17:30 (03.09.014)
    start date: 2006-10-24 / end date: 2006-02-20

Thursday, 08:30 - 10:00 (MI HS2)
    start date: 2006-10-17 / end date: 2007-02-20

news: Vorlesung beginnt um 08:45 Uhr, Übung findet weiterhin in 03.09.014 statt
sws: 4
ects: 8

Bereich:
4 SWS Vorlesung im Bereich Informatik III (Theoretische Informatik)
Wahlfach aus dem Fachgebiet "Formale Methoden und ihre Anwendungen" (FMA)

Klausur:
In diesem Semester gibt es anstatt der Klausur mündliche Prüfungen. Anmeldung dazu im Bereich 03.11.051

Übung:
2 SWS Übung zur Vorlesung
Übungsleiter: Dipl.-Inf. Michael Tautschnig
Dienstag, 16:00-17:30 Uhr, Raum 03.09.014

Hörerkreis:
Studierende im Hauptstudium der Informatik
Studierende im Master-Studiengang Informatik
Studierende mit Nebenfach Informatik

Voraussetzungen:
Stoff des Informatik-Grundstudiums, insbesondere TGI und die Vorlesung Informatik IV

Inhalt:
siehe PDF/PS unten

Literatur: (in alphabetischer Reihenfolge)
Automatentheorie:

  • W. Brauer. Automatentheorie, Teubner, 1984.
  • J. E. Hopcroft and J. D. Ullman. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
  • J. M. Howie. Automata and Languages, Oxford Science Publications, 1991.
  • D. Perrin and J.-E. Pin. Infinite Words: Automata, Semigroups, Logic and Games. Pure and Applied Mathematics Vol 141, Elsevier, 2004.
Berechenbarkeit:
t.b.a.

Sprechstunde:
nach Vereinbarung

downloadable material:
title / description download
Inhalte der Vorlesung
click here...
Inhalte der Vorlesung
click here...
problem sets
title / description download
1. Übungsblatt
click here...
2. Übungsblatt
click here...
3. Übungsblatt
click here...
4. Übungsblatt
click here...
5. Übungsblatt
click here...
6. Übungsblatt
click here...
7. Übungsblatt
click here...
8. Übungsblatt
click here...
9. Übungsblatt
click here...
10. Übungsblatt
click here...
11. Übungsblatt
click here...
12. Übungsblatt
click here...
13. Übungsblatt
click here...
14. Übungsblatt
click here...
solution sets
title / description download
Lösungen zum 1. Übungsblatt
File not available!
Lösungen zum 2. Übungsblatt
File not available!
Lösungen zum 3. Übungsblatt
Korrigierte Version (2007-01-26)
File not available!
Lösungen zum 4. Übungsblatt
File not available!
Lösungen zum 5. Übungsblatt
File not available!
Lösungen zum 6. Übungsblatt
File not available!
Lösungen zum 7. Übungsblatt
File not available!
Lösungen zum 8. Übungsblatt
File not available!
Lösungen zum 9. Übungsblatt
File not available!
Lösungen zum 10. Übungsblatt
File not available!
Lösungen zum 11. Übungsblatt
File not available!
Lösungen zum 12. Übungsblatt
File not available!
Lösungen zum 13. Übungsblatt
File not available!
Lösungen zum 14. Übungsblatt
File not available!