de | en

Automata and Formal Languages (IN2041)

Course 240962819 in WS 2021/2

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 Mon, 10:00–12:00, MI HS2
Tue, 10:30–12:30, MI HS2

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
TUMonline registration

Equivalent Courses (e. g. in other semesters)

SemesterTitleLecturersDates
WS 2020/1 Automata and Formal Languages (IN2041) Esparza Estaun, F. Kretinsky, J. Thu, 14:00–16:00, Interims I 102
Mon, 10:00–12:00, Interims I 102
WS 2019/20 Automata and Formal Languages (IN2041) Esparza Estaun, F. Kretinsky, J. Thu, 14:00–16:00, MI 02.13.010
Mon, 10:00–12:00, MSB E.126
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, MSB E.126
WS 2017/8 Automata and Formal Languages (IN2041) Esparza Estaun, F. Mon, 10:00–12:00, MI 02.13.010
Tue, 12:00–13:30, MI 02.13.010
Thu, 14:00–16:00, 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