Automaten und formale Sprachen (IN2041)
Automata and Formal Languages (IN2041)
Lehrveranstaltung 240962819 im WS 2013/4
Basisdaten
| LV-Art | Vorlesung-Übung |
|---|---|
| Umfang | 6 SWS |
| betreuende Organisation | Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza) |
| Dozent(inn)en | |
| Termine |
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 diesem Bereich. Schwerpunkte sind einerseits Anwendungen von Automaten in Compilerbau und Verifikation. Andereseits untersuchen wir Verbindungen zu anderen wichtigen Grundlagen in den Bereichen Logik, Komplexitaet und Algorithmen . Zunaechst lernen wir die algorithmische Komplexitaet wichtiger bereits bekannter Algorithmen kennen wie Wortprobleme und Minimierungen . Ein Grossteil der Vorlesung beschaeftigt sich mit der Erweiterung von Automaten fuer endliche Woerter auf solche fuer unendliche Woerter . Des Weiteren untersuchen wir die Rolle verschiedener Logiken als Erkennungsmechanismen fuer formale Sprachen sowie algebraische Eigenschaften solcher Sprachen. Kellerautomaten sind Erweiterungen von endlichen Automaten um einen Keller und erhoehen die Ausdrucksstaerke der erkannten Sprachen. Viele Compilertechniken basieren auf Kellerautomaten, ebenso haben sie wichtige Anwendungen in der Verifikation. Auch Baumautomaten , welche statt Woertern Baeume erkennen, werden im Compilerbau verwendet, vor allem bei der Codeauswahl. Zum Schluss wird eine erste Einfuehrung in Zeitautomaten gegeben, welche eine herausragende Rolle in Modellierung und Verifikation von Echtzeitsystemen einnehmen. Hierzu verwenden wir auch das Werkzeug UPPAAL, welches auch ausserhalb von Universitaeten eingesetzt wird. |
|---|---|
| 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 2020/1 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. Kretinsky, J. |
Mo, 10:00–12:00, Interims I 102 Do, 14:00–16:00, Interims I 102 |
| 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 2012/3 | Automata and Formal Languages (IN2041) |