Coursera: Automata: Lecture Notes for Lectures 3 and 4