This website is no longer updated.

As of 1.10.2022, the Faculty of Physics has been merged into the TUM School of Natural Sciences with the website https://www.nat.tum.de/. For more information read Conversion of Websites.

de | en
Login

Automata and Formal Languages (IN2041)

Course 240962819 in WS 2020/1

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
Jan Kretinsky
Dates Mon, 10:00–12:00, Interims I 102
Thu, 14:00–16:00, Interims I 102

Assignment to Modules

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)

SemesterTitleLecturersDates
WS 2023/4 Automata and Formal Languages (IN2041) Esparza Estaun, F. Tue, 10:30–12:30, MI HS2
Mon, 10:00–12:00, MI HS2
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 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)
Top of page