Logic and
Theory of
Discrete Systems

Informatik 7

Applied Automata Theory

Lecture in Summer Term 2016

This course is given in English. There is an L²P course room for this course.

Type Time/Place Start Lecturer  
V3 Tue 12:15–13:45, AH I
Thu 12:15–13:00, AH II
Thu, April 14 Löding Campus link
Ü2 Tue 14:15–15:45, AH II Tue, April 26 Löding, Brütsch Campus link


In this lecture of theoretical computer science, we extend concepts and results of the undergraduate course on automata theory. These results can be used for information processing and system construction/analysis.

The following topics are covered in the course:

  • simulation, bisimulation and efficient minimization of automata
  • algorithmic learning in the context of automata theory
  • weighted automata and probabilistic automata
  • automata and (second order) logics
  • pushdown systems
  • undecidable problems in automata theory
  • petri nets

Most of the topics are covered in the old script.

Previous Knowledge

Knowledge of automata theory as presented in basic courses is required for participation.