Seminar: Automata Theory


Winter term 2019/2020

reserve shelf of the chair i7 in the computer science library Copyright: © M. Ritzert


In this seminar we treat topics from the area of automata theory based on original research papers or book chapters. Some keywords concerning the topics are: probabilitstic and weighted automata, learning algorithms for automata, algorithms for automata and logic, tree automata.


To complete this seminar is it necessary to have a firm grasp of the courses "Formal Systems, Automata, and Processes", and "Computability and Complexity". Knowledge from advanced courses on automata theory are helpful but not required.



The seminar will be held as a block seminar.


Christof Löding