Lecture 1: Strings and languages