Seminar: Automata Theory
Winter term 2019/2020
Contact
Name
Content
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.
Prerequisits
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.
Organization
The seminar will be held as a block seminar.
Instructor