I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Automata and Formal Languages
held by: Univ.-Prof. Dr. Dr. h.c. Javier Esparza
M.Sc. Salomon Sickert
held in: WS 2018/19
sws: 6
ects: 8

Language
Lectures will be in English.

Prerequisites
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/ws1819