Seminar: Automata Theory
Winter term 2019/2020
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.