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
-
IN2041: Automaten und formale Sprachen / Automata and Formal Languages
Dieses Modul ist in den folgenden Katalogen enthalten:- Allgemeiner Katalog der nichtphysikalischen Wahlfächer
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)
Semester | Titel | Dozent(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) |