Automata and Formal Languages (IN2041)
Course 240962819 in WS 2023/4
General Data
Course Type | lecture |
---|---|
Semester Weekly Hours | 4 SWS |
Organisational Unit | Informatics 7 - Chair of Theoretical Computer Science (Prof. Esparza) |
Lecturers |
Francisco Javier Esparza Estaun |
Dates |
Tue, 10:30–12:30, MI HS2 Mon, 10:00–12:00, MI HS2 |
Assignment to Modules
-
IN2041: Automaten und formale Sprachen / Automata and Formal Languages
This module is included in the following catalogs:- Catalogue of non-physics elective courses
Further Information
Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.
additional remarks | Automata and formal languages are at the heart of all fields of computer science. This course recalls, deepens and extends the notions of automata theory covered in introductory courses at bachelor level, like transformations between different classes of automata, and minimization algorithms. The module introduces automata as a data structure for storing and manipulating sets and relations. Data structures are characterized by the operations they offer for accessing and maintaining data. In the case of automata these are the boolean operations, union, intersection and complement, together with important operations on relations, like projections and joins. The module presents implementations of these operations using deterministic and nondeterministic automata. It then describes applications in areas like string matching and automatic verification, for which special class of automata are introduced and analyzed. The last part of the module deals with automata on infinite words, with applications to the verification of liveness properties. |
---|---|
Links |
Additional information TUMonline entry |
Equivalent Courses (e. g. in other semesters)
Semester | Title | Lecturers | Dates |
---|---|---|---|
WS 2024/5 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. |
Tue, 10:30–12:30, MI HS2 Wed, 08:00–10:00, EI-HS Garching |
WS 2022/3 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. |
Tue, 10:30–12:30, MI HS2 Mon, 10:00–12:00, MI HS2 |
WS 2021/2 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. |
Tue, 10:30–12:30, MI HS2 Mon, 10:00–12:00, MI HS2 |
WS 2020/1 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. Kretinsky, J. |
Mon, 10:00–12:00, Interims I 102 Thu, 14:00–16:00, Interims I 102 |
WS 2019/20 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. Kretinsky, J. |
Mon, 10:00–12:00, MIBE E.126 Thu, 14:00–16:00, MI 02.13.010 |
WS 2018/9 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. |
Thu, 14:00–16:00, MI 02.13.010 Mon, 10:00–12:00, MIBE E.126 |
WS 2017/8 | Automata and Formal Languages (IN2041) | Esparza Estaun, F. |
Thu, 14:00–16:00, MI 02.13.010 Mon, 10:00–12:00, MI 02.13.010 Tue, 12:00–13:30, MI 02.13.010 and singular or moved dates |
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) |