[TU Dresden]

Selected Topics in Automata and Logic

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Rafael Peñaloza

Course Description

In this course we look at several automata formalisms on finite objects and analyse their expressive power in comparison to extensions of First Order Logic.

Prerequisites: Undergraduate course on automata and formal languages. Basic notions from logic also helpful.


The lecture takes place weekly in room E05: Wednesdays 11:10-12:40


Credits / Examinations

Computational Logic students can earn 3 credits for the modules TCSL and SV by attending this lecture. In order to get the credits, students must pass an oral examination at the end of the semester.


A weekly exercise session will be held by Felix Distel on Mondays 13:00-14:30 in E05 (starting from April 19).

All students are encouraged to present their solutions to the exercises, as they are useful for a better understanding of the lecture material.

Exercise sheets will be available online approx. one week before the session.

Lecture Notes

A pdf version of the lecture notes is now available. Please notice that these are incomplete and may contain errors. Use them with care.


The lecture material is taken from several different sources. However, students may find the following literature helpful, in particular to recall basic automata-theoretic notions.
Rafael Peñaloza