Languages, Automata, and Computation

(summer semester 2018-2019, official homepage)