The basics of formal languages, including types of formal languages, grammars, and regular expressions.