Advanced Automata Theory (Summer 2017)