Seminar: Automata Theory

 

Winter term 2019/2020

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

Contact

Phone

work
+49 241 80 21706

Email

E-Mail
 
 

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

Christof Löding