This is the study of formal languages and their properties, including syntax, semantics, and grammars.