Lehrveranstaltungen

im Sommersemester 2020

 

Formale Sprachen

Univ.-Prof. Dr. Ernst Althaus; Dr. rer.nat Sebastian Hoffmann

Kurzname: 08.079.05050
Kursnummer: 08.079.050-LING

Empfohlene Literatur


  1. Dirk Hoffmann: Theoretische Informatik
  2. Asteroth/Baier: Theoretische Informatik
  3. Schöning: Theoretische Informatik - kurz gefaßt
  4. Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
  5. Priese, Erk: Theoretische Informatik - Eine umfassende Einführung

Voraussetzungen / Organisatorisches

Die Veranstaltung findet digital in MS Teams statt. Bitte installieren Sie MS Teams und treten dem Team Formale Sprachen und Berechenbarkeit SoSe2020 08.079.050 mit dem Teamcode jbx6cag bei.

Inhalt


  1. Mathematische Grundlagen
  2. Formale Sprachen
    [list]
  3. Einführung Reguläre Sprachen und endliche Automaten
  4. Kontextfreie Sprachen und Kellerautomaten

  • (Berechenbarkeit)

    1. Turing-Maschine als Berechnungsmodell
    2. Weitere Berechnungsmodelle und Äquivalenz zur TM
    3. Church’s-These: TM-Berechenbarkeit stimmt mit der intuitiven De?nition von Berechenbarkeit überein
    4. Unentscheidbare Problem

    [/list]

    Zusätzliche Informationen

    keine

    Digitale Lehre

    Die Veranstaltung findet digital in MS Teams statt. Bitte installieren Sie MS Teams und treten dem Team Formale Sprachen und Berechenbarkeit SoSe2020 08.079.050 mit dem Teamcode jbx6cag bei

    Termine:

    Datum (Wochentag)UhrzeitOrt
    21.04.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    28.04.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    05.05.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    12.05.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    19.05.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    26.05.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    02.06.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    09.06.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    16.06.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    23.06.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    30.06.2020 (Dienstag)10.00 - 12.00 UhrHS 20
    07.07.2020 (Dienstag)10.00 - 12.00 UhrHS 20

    Semester: SoSe 2020