Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo

Automata and Formal Languages
held by: Univ.-Prof. Dr. Dr. h.c. Javier Esparza
M.Sc. Chana Weil-Kennedy
Dr. Marijana Lazic
held in: WS 2020/21
sws: 6
ects: 8

Lectures will be in English.

A basic course in theoretical computer science with an introduction to finite automata (Einf├╝hrung in die theoretische Informatik, Module IN0011)

Brief content
The course introduces the basic theory of finite automata on finite and infinite words. It presents automata as data structures for representing and manipulating sets. Topics include constructions for boolean operations, minimization, transducers, decision diagrams, relation to logic, and applicatins to pattern matching and verification.

more information: /um/courses/auto/ws2021