Lehrveranstaltungen

Formale Sprachen und Berechenbarkeit

Dozent:innen: Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
Kurs-Nr.: 08.079.050
Kurstyp: Vorlesung/Übung

Voraussetzungen / Organisatorisches

Vorlesung "Diskrete Mathematik"

Empfohlene Literatur


  1. Hoffmann: Theoretische Informatik
  2. Asteroth/Baier: Theoretische Informatik
  3. Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie

Inhalt


  1. Mathematische Grundlagen
  2. Formale Sprachen
  3. [list]
  4. Grammatiken
  5. Regulaere Sprachen und endliche Automaten
  6. Kontextfreie Sprachen und Kellerautomaten

  • Berechenbarkeit
  • [/list]

    Zusätzliche Informationen

    Siehe https://reader.uni-mainz.de/WiSe2019-20/08-079-050-00/

    Termine

    Datum (Wochentag) Zeit Ort
    16.10.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    23.10.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    30.10.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    06.11.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    13.11.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    20.11.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    27.11.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    04.12.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    11.12.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    18.12.2019 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    08.01.2020 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    15.01.2020 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    22.01.2020 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    29.01.2020 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik
    05.02.2020 (Mittwoch) 10:00 - 12:00 03 428
    2413 - Neubau Physik/Mathematik