Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

Automaten und formale Sprachen (IN2041)
Automata and Formal Languages (IN2041)

Lehrveranstaltung 240962819 im WS 2020/1

Basisdaten

LV-Art Vorlesung
Umfang 4 SWS
betreuende Organisation Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Dozent(inn)en Francisco Javier Esparza Estaun
Jan Kretinsky
Termine Mo, 10:00–12:00, Interims I 102
Do, 14:00–16:00, Interims I 102

Zuordnung zu Modulen

weitere Informationen

Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).

ergänzende Hinweise Automaten und formale Sprachen bilden ein wichtiges Werkzeug in nahezu allen Bereichen der Informatik. Diese Veranstaltung vertieft Grundkenntnisse aus den ersten beiden Studienjahren. In dem Modul werden Automaten als Datenstruktur für die Speicherung und Manipulation von Mengen und Relationen behandelt. Datenstrukturen sind vor allem durch die Operationen auf Daten, die Zugriff und Verwaltung ermöglichen und realisieren. In Fall der Automaten sind diese die boolesche Operationen, d.h. Vereinigung, Schnitt und Komplement. Dazu kommen bekannte Operationen auf Relationen, wie Projektion und Join. In dem Modul werden zuerst Implementierungen dieser Operationen mit Hilfe von deterministischen und nichtdeterministischen Automaten beschrieben. Es werden dann Anwendungen in den Bereichen Compilerbau und Verifikation betrachtet, für die spezialisierte Automaten und Algorithmen eingeführt werden. Der letzte Teil der Veranstaltung beschäftigt sich mit der Erweiterung von Automaten fuer endliche Woerter auf solche fuer unendliche Woerter, mit Anwendungen in der Verifikation von Lebendigkeitseigenschaften.
Links Zusatzinformationen
TUMonline-Eintrag

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
WS 2023/4 Automata and Formal Languages (IN2041) Esparza Estaun, F. Di, 10:30–12:30, MI HS2
Mo, 10:00–12:00, MI HS2
WS 2022/3 Automata and Formal Languages (IN2041) Esparza Estaun, F. Di, 10:30–12:30, MI HS2
Mo, 10:00–12:00, MI HS2
WS 2021/2 Automaten und formale Sprachen (IN2041) Esparza Estaun, F. Di, 10:30–12:30, MI HS2
Mo, 10:00–12:00, MI HS2
WS 2019/20 Automata and Formal Languages (IN2041) Esparza Estaun, F. Kretinsky, J. Mo, 10:00–12:00, MIBE E.126
Do, 14:00–16:00, MI 02.13.010
WS 2018/9 Automata and Formal Languages (IN2041) Esparza Estaun, F. Do, 14:00–16:00, MI 02.13.010
Mo, 10:00–12:00, MIBE E.126
WS 2017/8 Automata and Formal Languages (IN2041) Esparza Estaun, F. Do, 14:00–16:00, MI 02.13.010
Mo, 10:00–12:00, MI 02.13.010
Di, 12:00–13:30, MI 02.13.010
sowie einzelne oder verschobene Termine
WS 2016/7 Automata and Formal Languages (IN2041) Esparza Estaun, F.
WS 2015/6 Automata and Formal Languages (IN2041)
WS 2013/4 Automata and Formal Languages (IN2041)
WS 2012/3 Automata and Formal Languages (IN2041)
Nach oben