8
$\begingroup$

I am fun of automata theory (on infinite words). Can you suggest good video lectures on the subject?

An ideal course would cover topics like Buchi automata, LTL->Buchi translation, Streett and parity automata, determinization (or idea...), complementation, minimization, alternating automata. Also touching the topic of tree automata.

I am sure these topics are taught in universities that have strong formal-methods groups (e.g. in Munich, Saarland, Paris, Warsaw, etc.), but, unfortunately, those lectures are neither recorded nor shared (to my knowledge).

(there is a good one here, but it is accessible from RWTH University only)

  • 0
    You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"2012-11-15
  • 0
    While it's not a video lecture, Wikipedia's page on infinitary automata (http://en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.2013-01-22

2 Answers 2