Formale Sprachen und Berechenbarkeit
Dozent:innen: Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike SchmidKurs-Nr.: 08.079.050
Kurstyp: Vorlesung/Übung
Voraussetzungen / Organisatorisches
Vorlesung "Diskrete Mathematik"Empfohlene Literatur
- Hoffmann: Theoretische Informatik
- Asteroth/Baier: Theoretische Informatik
- Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
Inhalt
- Mathematische Grundlagen
- Formale Sprachen
- Grammatiken
- Regulaere Sprachen und endliche Automaten
- Kontextfreie Sprachen und Kellerautomaten
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 |