Automaten, Formale Sprachen, Berechenbarkeit II (SS 04)

Prof. Dr. W. Brauer

Bereich:
2 SWS Vorlesung im Bereich Informatik III (Theoretische Informatik)

Zeit und Ort:
Donnerstags, 8.30-10.00 Uhr, Hörsaal MI 00.13.009A
Beginn: 22. April 2004

Übung:
keine Übung

Hörerkreis:
Studierende im Grundstudium der Informatik
Studierende mit Nebenfach Informatik

Voraussetzungen:
Stoff des Informatik-Grundstudiums

Inhalt:
Einblicke in weitere verschiedene Aspekte der Untersuchung und Verwendung formaler Sprachen

  • Wiederholung der Grundlagen aus Automaten, Formale Sprachen und Berechenbarkeit I
  • Geschichtlicher Überblick
  • Lindenmayer Systeme
  • Potenzreihen und kontextfreie Sprachen
  • Abstrakte Sprachfamilien
  • Dominos und logische Entscheidungsprobleme

    Skript:
    Vorlesungsunterlagen werden auf Anfrage an die Teilnehmer der Vorlesung verteilt.

    Literatur:

    Sprechstunde:
    nach Vereinbarung


    brauer@informatik.tu-muenchen.de

    Zurück zu den Lehrveranstaltungen am Lehrstuhl Brauer