Detailed lecture series for automata theory or theory of computation
In the course I co-teach on Automata, Computability and Complexity Theory we use the excellent videos by Harry Porter to replace our classical lectures, and use our contact hours instead to practice with the material together with the students.

Porter follows the book "Introduction to the Theory of Computation" by Sipser.