Lehrveranstaltungen

im Sommersemester 2020

 

Formale Sprachen und Berechenbarkeit

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

Kursnummer: 08.079.050

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.

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

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.

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]

    Termine:

    Datum (Wochentag)UhrzeitOrt
    21.04.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    28.04.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    05.05.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    12.05.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    19.05.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    26.05.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    02.06.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    09.06.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    16.06.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    23.06.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    30.06.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie
    07.07.2020 (Dienstag)10.00 - 12.00 Uhr00 131 HS 20
    1231 - Physikalische Chemie

    Semester: SoSe 2020