Lecture 2: Strings, Languages, DFAs