Formale Sprachen und Berechenbarkeit
Dozent:innen: Univ.-Prof. Dr. Ernst Althaus; Dr. rer.nat Sebastian Hoffmann; Felix Jacob KallenbornKurs-Nr.: 08.079.050
Kurstyp: Vorlesung/Übung
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.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.Empfohlene Literatur
- Dirk Hoffmann: Theoretische Informatik
- Asteroth/Baier: Theoretische Informatik
- Schöning: Theoretische Informatik - kurz gefaßt
- Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
- Priese, Erk: Theoretische Informatik - Eine umfassende Einführung
Inhalt
- Mathematische Grundlagen
- Formale Sprachen
- Einführung Reguläre Sprachen und endliche Automaten
- Kontextfreie Sprachen und Kellerautomaten
- Turing-Maschine als Berechnungsmodell
- Weitere Berechnungsmodelle und Äquivalenz zur TM
- Church’s-These: TM-Berechenbarkeit stimmt mit der intuitiven De?nition von Berechenbarkeit überein
- Unentscheidbare Problem
[/list]
Zusätzliche Informationen
keineTermine
Datum (Wochentag) | Zeit | Ort |
---|---|---|
21.04.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
28.04.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
05.05.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
12.05.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
19.05.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
26.05.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
02.06.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
09.06.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
16.06.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
23.06.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
30.06.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |
07.07.2020 (Dienstag) | 10:00 - 12:00 | 00 131 HS 20 1231 - Physikalische Chemie |