Lecture starts very enjoyable and goes like that. But some topics like proving may made you boring for just some weeks. In general designing automata, that means only determining the rules of automata, is the working subject. In below link, there are exams and homeworks which are given in 2011.

Download