This lecture introduces the fundamental concepts of formal languages, including alphabets, words, languages, and word equality. It covers the definition of words in set theory, word equality criteria, words represented as Scala lists, associativity of concatenation, and the free monoid of words. The lecture also discusses reversal of words, prefix, postfix, and slice operations, and their implementation in Scala.